On the abstraction of coloured Petri Nets

DOI10.1007/3-540-63139-9_29zbMATH Open1510.68065MaRDI QIDQ6487368FDOQ6487368

Authors: Charles A. Lakos 

Publication date: 9 December 2022

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• The consistent use of names and polymorphism in the definition of object Petri nets

Cited In (9)

• Title not available (Why is that?)
• Skeleton abstraction for universal temporal properties
• Clustering for Petri nets
• Software modeling and analysis using a hierarchical object-oriented Petri net
• Title not available (Why is that?)
• Vicinity respecting homomorphisms for abstracting system requirements
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
• Research on the particular subclass of a class coloured Petri nets
• Title not available (Why is that?)

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)