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 …

Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …

This paper describes how Coloured Petri Nets (CP-nets) have been developed—from being
a promising theoretical model to being a full-fledged language for the design, specification …

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 …

In this paper we present a CTL-like logic which is interpreted over the state spaces of
Coloured Petri Nets. The logic has been designed to express properties of both state and …

In this paper an approach to a decentralized intersection management is presented which
does not require much additional infrastructure at the intersection and which can operate in …

The aim of this paper is a tutorial introduction to graph grammars and graph transformations
on one hand and to Petri net transformations on the other hand. In addition to an introduction …

This contribution provides a thorough survey of our work on rule-based refinement. Rule-
based refinement comprises the transformation of Petri nets using rules while preserving …

The aim of this paper is an introduction to the area of Petri net transformations, a rule-based
approach for dynamic changes of the net structure of Petri nets. This is especially important …

In recent years, there has been significant interest in combining the benefits of object-
oriented structuring techniques with the petri net formalism which has proved beneficial in …