Patient flow is the movement of patients through a healthcare facility. Over the past decades,
healthcare service providers have spent tremendous effort in optimizing patient flow and …

This paper investigates the deadlock prevention problem for Petri nets (PN), in which the
control is performed by appropriately setting time constraints on transitions, in terms of firing …

The problem of detecting and isolating a fault using a discrete event model has received a
lot of attention over the last two decades. Indeed, industrial automated systems can be …

This work focuses on Real-time system models based on the Time Petri Net (TPN) formalism
and addresses a pathological aspect known to often affect models of Real-Time Systems …

Several semantics models are adopted by time Petri nets for different applications. Yet they
have some limitations on schedulability analysis of flexible manufacturing systems. The …

Validation of industrial automation systems is the process of checking that commissioner
requirements are successfully implemented. Formal approaches are needed when the …

The main limitation of the verification approaches based on state enumeration is the state
explosion problem. The partial order reduction techniques aim at attenuating this problem by …

Adding real time information to Petri net models often leads to undecidability of classical
verification problems such as reachability and boundedness. For instance, models such as …

Nowadays, workflow systems are becoming very complex, involving time constraints,
priorities on tasks as well as elaborated synchronization schemes. As a result, the …

Patients moving though a healthcare facility to receive medical service form patient flow.
Optimizing patient flow is crucial to improving the efficiency of healthcare practice, providing …