Remarks on the Reachability Graphs of Petri Nets

DOI10.18255/1818-1015-2022-4-366-371OpenAlexW4311837440MaRDI QIDQ6081671

Unnamed Author

Publication date: 5 October 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais785

zbMATH Keywords

Petri netsgraph isomorphismnetwork coverage graphnetwork reachability graph

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Recent advances in formal languages and applications.

This page was built for publication: Remarks on the Reachability Graphs of Petri Nets