A plethora of BPR methodologies have appeared in the literature during recent years,
however, most of them present serious limitations mainly due to the need for a multi …

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 …

It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Petri nets gain a great deal of modelling power by representing dynamically changing items
as structured tokens (instead of “black dots”). Algebraic specifications turned out adequate …

The nets-within-nets paradigm provides an innovative modelling technique by giving tokens
themselves the structure of a Petri net. These nets, called token nets or object nets, also …

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 …

The use of high-level Petri net formalisms has made it possible to create Petri net models of
large systems. Even though the use of such models allows the modeller to create compact …

The paper surveys those net classes which can be called to some extent 'modular'and the
basic net models used as framework in their definition. In particular the first part introduces …