Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24--25, 2020. Proceedings

DOI10.1007/978-3-030-51831-8zbMath1493.68015OpenAlexW4229875031MaRDI QIDQ2128401

No author found.

Publication date: 21 April 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51831-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Resource Bisimilarity in Petri Nets is Decidable

This page was built for publication: Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24--25, 2020. Proceedings