More and more, our society and economy rely on the correct operation of, often hidden, critical infrastructures. These infrastructures such as the power grid an

Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in au

The world is full of events which cause, end or affect other events. The study of these events, from a system point of view, is very important. Such systems are

The proceedings of the June 1996 workshop contain 24 papers selected according to a special review process. Papers are organized in 8 sessions, covering the top

The Petri net formalism is useful in studying many discrete-state, discrete-event systems exhibiting concurrency, synchronization, and other complex behavior. A