摘要
本文针对工作流过程建模的复杂性和易出错的状况,提出了基于Petri网系统规约的模型验证方法,提出了工作流网向Petri网映射的对应关系,给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。
In the light of the problem of complexity and fallibility of workflow modeling in the paper, we provide a model verification method based on Petri-net system reduction, give corresponding relationship of workflow mapping to Petri-net, and provide eight reduction rules based on Petri-net modeling. They are praetieable by application.
出处
《现代制造技术与装备》
2006年第1期58-60,共3页
Modern Manufacturing Technology and Equipment
