1. van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods and Systems, 2nd edn. MIT Press, Massachusetts (2009)
2. Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications, 1st edn. Willey, London (2013)
3. Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling Time in Computing, 1st edn. Springer, Heidelberg (2012)
4. Lecture Notes in Computer Science;K van Hee,2013
5. Huang, H., Jiao, L., Cheung, T., Mak, W.M.: Property-Preserving Petri Net Process Algebra. 1st edn. World Scientific Publishing, Singapore (2012)