On the abstraction of coloured Petri Nets

DOI10.1007/3-540-63139-9_29zbMath1510.68065MaRDI QIDQ6487368

Charles A. Lakos

Publication date: 9 December 2022

Mathematics Subject Classification ID

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

Related Items (2)

Clustering for Petri nets ⋮ Software modeling and analysis using a hierarchical object-oriented Petri net

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Petri nets, algebras, morphisms, and compositionality
• The consistent use of names and polymorphism in the definition of Object Petri Nets

This page was built for publication: On the abstraction of coloured Petri Nets