Saturation Enhanced with Conditional Locality: Application to Petri Nets

TitleSaturation Enhanced with Conditional Locality: Application to Petri Nets
Publication TypeConference Paper
Year of Publication2019
AuthorsMolnár, V., and Majzik, I.
Conference NameApplication and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings
Date Published06/2019
URLhttps://doi.org/10.1007/978-3-030-21571-2\_19
DOI10.1007/978-3-030-21571-2\_19
PDF: