Soundness of workflow nets: classification, decidability, and analysis 论文
2010Formal Aspects of Computing引用 363
Business Process Modeling and AnalysisPetri Nets in System ModelingService-Oriented Architecture and Web Services
Soundness of workflow nets: classification, decidability, and analysis · 相关文章
暂无数据