摘要
根据描述工作流模型的实际应用背景 ,提出了非确定变迁、非确定 Petri网等概念 ,并定义了 Petri网的等价关系 ,证明了在这种等价关系的意义下 ,非确定 Petri网与传统的确定
Based on the application research of workflow procedure model, the concepts of non determined transition and non determined Petri Net are introduced. In this paper a kind of equivalence of Petri Nets is defined and it is shown that the non determined Petri Net equivalents to the determined Petri Net respect to the definition of the equivalence.
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第3期582-584,共3页
Journal of Chinese Computer Systems
基金
国家"8 63"高技术发展研究计划 (863 -3 0 6-ZT0 2 -0 4-0 1)的资助
