1. Zaitsev, D.A.: Simulating cellular automata by Infinite Petri Nets. J. Cell. Automata 13, 121–144 (2018)
2. Koch, I., Reisig, W., Schreiber, F. (eds.): Modeling in Systems Biology: The Petri Net Approach, vol. 16. Springer, Cham (2010)
3. Rogge-Solti, A., Weske, M.: Prediction of business process durations using non-markovian stochastic Petri nets. Inf. Syst. 54, 1–14 (2015)
4. Girault, C., Valk, R.: Petri Nets for Systems Engineering: a Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2013)
5. Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. Springer, Heidelberg (2013)