摘要
通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱动模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。
The default of process design is found by workflow model analysis.The proper direction and scientifie gist are provided.The Xinpai-driven model is transformed to Petri net and normal Petrl net,and then to general Petri net.The characters of extending Xinpai-driven model are researched in Petri net space.The deadlock in Petri net predigested is analysed.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第3期194-197,共4页
Computer Engineering and Applications
基金
国家自然科学基金资助项目(60373108)。
