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 …

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 …

The study of real discrete event systems requires the use of models to cope with complexity
and large scale. The only way to understand and analyse their behaviour prior to …

Petri nets are widely used to model and analyze Resource Allocation Systems (RASs).
Since they are a kind of structuralized formal method, they can well describe the …

This paper presents a modular approach for modeling healthcare systems using Petri nets. It
is shown that a healthcare system can be constructed by different modules whose inputs …

We study concurrent processes modelled as workflow Petri nets extended with resource
constraints. We define a behavioural correctness criterion called soundness: given a …

Petri net is a powerful formalism for modeling, analysis and design of discrete event
systems. With a good capacity of representing synchronization and concurrency they are …

We study concurrent processes modelled as workflow Petri nets extended with resource
constrains. Resources are durable units that can be neither created nor destroyed: they are …

This paper addresses a collision avoidance problem in a multi-robot system. Each robot has
a set of possible trajectories, each trajectory fulfilling its individual task. The trajectories …

We consider the classical problem of sequential resource allocation where a decision maker
must repeatedly divide a budget between several resources, each with diminishing returns …