Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Business process management: a comprehensive survey;van der Aalst;ISRN Softw. Eng.,2013
2. Soundness of workflow nets: classification, decidability, and analysis;van der Aalst;Form. Asp. Comput.,2011
3. Soundness and separability of workflow nets in the stepwise refinement approach;van Hee,2003
4. Proof of separability – a verification technique for a class of security kernels;Rushby,1982
5. Properties of conflict-free and persistent Petri nets;Landweber;J. ACM,1978
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献