Functional equivalences of Petri nets

DOI10.1007/3-540-60029-9_53zbMath1496.68247OpenAlexW1480532879MaRDI QIDQ5096374

Gerlinde Schreiber

Publication date: 16 August 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-60029-9_53

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A method for stepwise refinement and abstraction of Petri nets
• Analysis of Petri nets by stepwise refinements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Functional equivalences of Petri nets