Modeling of discrete event systems: a holistic and incremental approach using Petri Nets

Systematic structural modelling of discrete event systems using petri nets

An algebraic approach to petri nets - based representation of complex discrete systems

A systematic construction of Petri-Nets models of discrete-event systems

A systematic approach to the synthesis of petri-nets simulation models (and adjoint experimental frames) of discrete-event systems