Saturation Enhanced with Conditional Locality: Application to Petri Nets

CímSaturation Enhanced with Conditional Locality: Application to Petri Nets
Közlemény típusaConference Paper
Kiadás éve2019
SzerzőkMolnár, V., and Majzik, I.
Konferencia neveApplication and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings
Kiadás dátuma06/2019
URLhttps://doi.org/10.1007/978-3-030-21571-2\_19
DOI10.1007/978-3-030-21571-2\_19
PDF: