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 · 相关文章

暂无数据