摘要
提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
A workflow modeling method based on Petri nets is put forward, and dynamic behaviors of workflows are described and analyzed by means of the formal model. The detailed modeling mechanisms are given.
出处
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第1期93-95,123,共4页
Journal of East China University of Science and Technology
基金
教育部科学技术研究重点项目(01077)
华东理工大学博士基金资助
