排序方式: 共有181条查询结果,搜索用时 0 毫秒
181.
基于Petri网的工作流建模与正确性分析 总被引:7,自引:0,他引:7
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。 相似文献