基于petri网系统规约的工作流建模验证

Workflow Model Verification Based on Object Petri-Net Reduction

本文针对工作流过程建模的复杂性和易出错的状况,提出了基于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.