摘要
为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证。
For the practical reason and to be compatible with the WfM C standard ,a more powerful,useful and flexible model,Extended XinPai Driven Model,is given from the XinPai Driven model .Furthermore,the relationship between t he mod el and Petri Net is discussed.This work gives the workflow model a sound foundat ion to verify,analysis and so on.
出处
《计算机应用与软件》
CSCD
北大核心
2004年第2期24-26,124,共4页
Computer Applications and Software
