Modular state space analysis of coloured Petri Nets

DOI10.1007/3-540-60029-9_41zbMath1496.68222OpenAlexW1483727752MaRDI QIDQ5096364

No author found.

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_41

Mathematics Subject Classification ID

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

Related Items (2)

A UTP approach for rTiMo ⋮ Petri nets for the design and operation of manufacturing systems

Cites Work

• Unnamed Item
• Unnamed Item
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis

This page was built for publication: Modular state space analysis of coloured Petri Nets