非确定Petri网

根据描述工作流模型的实际应用背景 ,提出了非确定变迁、非确定 Petri网等概念 ,并定义了 Petri网的等价关系 ,证明了在这种等价关系的意义下 ,非确定 Petri网与传统的确定

扩展的信牌驱动模型与Petri网

为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证。