Petr nets, algebras, morphisms, and compositionality
Information and Computation
Petri nets in software engineering
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Information and Computation
Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Vicinity respecting net morphisms
APN 90 Proceedings on Advances in Petri nets 1990
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Introduction to General Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
A Dictionary of Some Basic Notions of Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
On the Abstraction of Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Concept of Hierarchical Petri Nets with Building Blocks
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Incremental State Space Construction for Coloured Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Coloured Petri net refinement specification and correctness proof with Coq
Innovations in Systems and Software Engineering
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
Measuring privacy compliance using fitness metrics
BPM'12 Proceedings of the 10th international conference on Business Process Management
Hi-index | 0.00 |
An earlier paper considered appropriate properties for abstract net components (or nodes) in the Coloured Petri Net formalism. This paper augments that earlier work in three main areas -- it proposes general canonical forms for such node refinements, it identifies two other forms of refinement which will be used in concert with node refinement, and it considers the compositionality of these refinements. All of them maintain behavioural compatibility between refined and abstract nets, which is captured by the notion of a system morphism.