The structure theory of Place/Transition net systems is surveyed—incorporating new
contributions—in a tutorial style, mainly from a linear algebraic perspective. Topics included …

Petri Nets (PNs) is a well-known modelling paradigm for discrete event systems (DES). As in
other paradigms, hybrid and continuous PN formalisms have appeared in the literature …

Carl Adam Petri is a contemporary German mathematician. In the early sixties, he defined a
general purpose mathematical model for describing relations existing between conditions …

Deadlock problems in flexible manufacturing systems (FMS) have received more and more
attention in the last two decades. Petri nets are one of the more promising mathematical …

Petri nets are formalisms for the modeling of discrete event dynamic systems (DEDS). The
integrality of the marking and of the transitions firing counters is a clear reflection of this. To …

As a preliminary overview, this work provides first a broad tutorial on the fluidization of
discrete event dynamic models, an efficient technique for dealing with the classical state …

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 …

Among discrete event systems, those exhibiting concurrency are especially challenging,
requiring the use of formal methods to deal with them. Petri nets are a well-established such …

This paper analyzes a stochastic version of the vehicle routing problem in which customers'
demands are not only stochastic but also correlated. In order to solve this stochastic and …

Traffic systems are often highly populated discrete event systems that exhibit several modes
of behavior such as free flow traffic, traffic jams, stop-and-go waves, etc. An appropriate …