On the abstraction of coloured Petri Nets

DOI10.1007/3-540-63139-9_29MaRDI QIDQ6487368zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1696463
• scientific article; zbMATH DE number 4028914
• Publication:4941935
• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 107927

Cites work

• scientific article; zbMATH DE number 4018378 (Why is no real title available?)
• scientific article; zbMATH DE number 4094830 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• Petri nets, algebras, morphisms, and compositionality
• 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
• The consistent use of names and polymorphism in the definition of object Petri nets

Cited in

(9)

• Skeleton abstraction for universal temporal properties
• scientific article; zbMATH DE number 4119637 (Why is no real title available?)
• Clustering for Petri nets
• Software modeling and analysis using a hierarchical object-oriented Petri net
• scientific article; zbMATH DE number 1418372 (Why is no real title available?)
• Vicinity respecting homomorphisms for abstracting system requirements
• Research on the particular subclass of a class coloured Petri nets
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
• scientific article; zbMATH DE number 1696463 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487368)