Publisher
Springer International Publishing
Reference8 articles.
1. van der Alst, W., van Hee, K.: Workflow Management: Models, Methods and Systems, 1st edn. MIT Press, Massachusetts (2004)
2. Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications, 1st edn. Willey, London (2009)
3. Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling Time in Computing, 1st edn. Springer, Heidelberg (2012)
4. van Hee, K., Sidorova, N.: The right timing: reflections on the modeling and analysis of time. In: Colom, J., Desel, J. (eds.) Application and Theory of Petri Nets and Concurrency. LNCS, vol. 7927, pp. 1–20. Springer, Heidelberg (2013)
5. Huang, H., Jiao, L., Cheung, T., Mak, W.M.: Property-Preserving Petri Net Process Algebra in Software Engineering, 1st edn. World Scientific Publishing, Singapore (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献