摘要
针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-PetriNet)的工作流网的定义。文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并对这些规则进行了证明。在此基础上,运用这些规则对复杂工作流模型的算例进行逐步规约,验证了模型的合理性。
Due to some limitations of classical Petri nets, the classical Petri nets were extended with both time and color parameters to form Time-Color-Petri Net （TCPN） and then TCPN workflow nets were defined according to the concept of workflow nets. The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved. Using these roles, an example was given to verify model correctness by reducing complicated model step by step.
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2006年第10期2976-2979,2983,共5页
Journal of System Simulation
基金
江苏省自然科学基金(BK2004114)
