W. Reisig and G. Rozenberg, Lectures on Petri Nets I: Basic Models, 1998.
DOI : 10.1007/3-540-65306-6

M. Diaz, Petri Nets: Fundamental Models, Verification and Applications, ISTE Ltd, 2009.
DOI : 10.1002/9780470611647

W. Reisig, Elements of Distributed Algorithms, 1998.
DOI : 10.1007/978-3-662-03687-7

R. David and H. Alla, Discrete, Continous and Hybrid Petri Nets, 2010.

W. Van-der-alst and K. Van-hee, Workflow Management: Models, Methods and Systems, Massachusetts, 2002.

H. Huang, L. Jiao, T. Cheung, and W. M. Mak, Property-Preserving Petri Net Process Algebra In Software Engineering, 2012.
DOI : 10.1142/7919

I. Martiník, Modeling of Distributed Programming Systems with Using of Property-preserving Petri Net Process Algebras and P/T Petri Net Processes, ICIA 2013 proceedings: the Second International Conference on Informatics & Applications (ICIA2013), pp.258-263, 2013.

J. Desel and J. Esparza, Free Choice Petri Nets, 1995.
DOI : 10.1017/CBO9780511526558

I. Martiník, Bi-relational P/T Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems, Communications in Computer and Information Science, vol.188, pp.222-236, 2011.
DOI : 10.1007/978-3-642-84524-6

I. Martiník, Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems, pp.195-224, 2012.
DOI : 10.5772/48470

I. Martiník, Modeling of Object-Oriented Programming Systems with Using of Petri Nets, SAEI, vol.5, 2015.