1. Aalst, W.M.P.: Interorganizational workflows: an approach based on message sequence charts and Petri nets. Syst. Anal. Model. Simul. 34, 335–367 (1999)
2. Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuit Syst. Comp. 8, 21–66 (1998)
3. Lecture Notes in Computer Science;WMP Aalst,2000
4. Lecture Notes in Computer Science;WMP Aalst,2009
5. Barkaoui, K., Ben Abdallah, I.: Structural liveness analysis of $$S^3PR$$ nets. In: Symposium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multiconference, pp. 438–443, January 1996