自由选择网的共享合成运算

给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为 FC网系统合成的静态和动态特性考察提供有力手段     

网格体系的Petri网模拟与分析

应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.     

一种圆形窗口的多边形裁剪新算法

提出了一种新的裁剪算法，并讨论了算法的正确性和可靠性．该算法是文献［1］的改进，裁剪速度比［1］快。     

逻辑Petri网变迁使能的判定方法

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。     

医疗急诊流程挖掘与模型改进

基于流程挖掘中的α算法和流程挖掘平台ProM(process miner),将医疗急诊流程的事件日志转化为Petri网模型,并将其与医疗急诊日志及实际流程对比分析。由于α算法的局限性,对于一些复杂结构,可能会导致错误的挖掘流程。基于逻辑Petri网,给出了一种挖掘模型的改进方法,利用逻辑变迁来避免选择结构,并进行医疗急诊流程的二次建模,进而保证构建的流程模型与实际流程保持一致。     

自由选择网的同步合成运算

定义了自由选择网ＦＣ网（ｆｒｅｅｃｈｏｉｃｅｎｅｔｓ）的同步合成运算,给出了ＦＣ网同步合成网为ＦＣ网或ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔ）的两个充分必要条件．这些结果可为ＦＣ网系统合成的静态和动态特性考察提供有效途径．