逻辑Petri网理论及其合成运算性质研究

为了描述与分析具有批处理功能和传值不确定性的分布式协同系统，近年来我们提出了一种逻辑Petri网方法，并将其应用于证券交易、电子商务等系统的建模与分析，获得了一些重要研究成果。在此基础上，本项目主要侧重于逻辑Petri网及其合成运算的理论研究，全面探索逻辑Petri网的理论意义和应用价值。深入研究逻辑Petri网的基本性质及行为理论，构建相应的可计算性理论，提供逻辑Petri网的性质分析方法及并发语言表达式；定义逻辑Petri网的逻辑范式，提供网语言与逻辑表达式相融合的推理方法，实现逻辑Petri网自动推理；定义逻辑Petri网的合成运算，提出相应的性质继承判据，实现复杂逻辑Petri网的有效分析和验证；针对分布协同系统中的批处理功能和传值不确定性所产生的工作流动态性，提供动态工作流的建模技术，给出相应的分析和验证方法，为动态工作流应用提供理论支持。