Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. In Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). Volume 2651 of CEUR Workshop Proceedings, pages 49-67, CEUR-WS.org, 2020. [doi]

Authors

Luca Bernardinello

This author has not been identified. Look up 'Luca Bernardinello' in Google

Irina A. Lomazova

This author has not been identified. Look up 'Irina A. Lomazova' in Google

Roman Nesterov

This author has not been identified. Look up 'Roman Nesterov' in Google

Lucia Pomello

This author has not been identified. Look up 'Lucia Pomello' in Google