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