Author:
Wang Lisong,Chu Yifan,Xu Min
Publisher
Springer International Publishing
Reference10 articles.
1. Van Der Aalst, W., Van Hee, Kahm., Hofstede, T, et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing pp. 333–363 (2010)
2. Van Der Aalst, W.: Workflow verification: finding control-flow errors using petri-net-based techniques. Lecture Notes in Computer Science. Business Process Manage. pp. 19–128 (2000)
3. Van Der Aalst, W.: Verification of workflow nets, computer science, application and theory of petri nets, pp. 407–426 (1997)
4. Van Der Aalst, W.: Supporting the workflow management system development process with YAWL, CEUR Workshop Proceedings, pp. 33–40 (2013)
5. Herbert, LT., Hansen, ZNL.: Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach, Reliability Engineering and System Safety, pp. 351–365 (2016)