Dynamic properties characterize the behaviour of individual CP-nets, eg, whether it is
possible to reach a marking in which no step is enabled. It is often rather difficult to verify …

This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN).
CP-nets have been developed, from being a promising theoretical model, to being a full …

Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification,
validation, and verification of systems. CP-nets have a wide range of application areas and …

Abstract Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design,
specification, simulation and verification of systems. It is in particular well-suited for systems …

This paper seeks to establish within a formal framework how Coloured Petri Nets can be
enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri …

This paper informally introduces Object Petri Nets (OPNs) with a number of examples. OPNs
support a thorough integration of object-oriented concepts into Petri Nets, including …

Abstract Enterprise Integration Patterns allow us to design a middleware system
conceptually before actually implementing it. So far, the in-depth analysis of such a design …

This paper presents a methodology and an example of risk assessment of functional-
requirement specifications for complex real-time software systems. A heuristic risk …

An increasing number of system development projects are concerned with distributed and
concurrent systems. There are numerous examples, ranging from large scale systems, in the …

This paper presents knowledge representation-oriented nets (KRON), a knowledge
representation schema for discrete event systems (DES). KRON enables the representation …