Model Checking Workflow Net Based on Petri Net

2006Acta Scientiarum Naturalium Universitatis SunyatseniBusiness, Management and Accounting被引 3

摘要

稳固是为工作流的正确性的一个很重要的标准。与计算树逻辑(CTL ) 指定稳固允许我们与符号的模型检查器验证稳固。因此，在验证稳固的州的爆炸问题能高效地被克服。当性质没被系统满足时，模型检查能给一个反例，它能指导我们改正工作流。另外，放松了稳固是为工作流的另一个重要标准。我们也证明那棵计算树是逻辑 *(CTL *) 能习惯于特性工作流的放松的稳固。

引用本文（GB/T 7714）

Zhou, Conghua, Chen Chen, 等. Model Checking Workflow Net Based on Petri Net[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2006.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。