1. Fundamentals of a theory of asynchronous information flow;Petri,1962
2. Analyzing interacting WS-BPEL processes using flexible model generation;Lohmann;Data and Knowledge Engineering,2008
3. Verification of workflow nets;Aalst,1997
4. G. Keller, M. Nüttgens, A.W. Scheer, Semantische Prozessmodellierung auf der Grundlage “Ereignisgesteuerter Prozessketten (EPK)”, Heft 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany, 1992.
5. Business Process Modelling With Aris: A Practical Guide;Davis,2001