This paper develops a place invariant based deadlock prevention method to obtain a
maximally permissive Petri net supervisor with the lowest implementation cost. A supervisor …

Structural analysis is one of the most important and efficient methods to investigate the
behaviour of Petri nets. Liveness is a significant behavioural property of Petri nets. Siphons …

A model of a hypertorus communication grid has been constructed in the form of an infinite
Petri net. A grid cell represents either a packet switching device or a bioplast cell. A …

This paper deals with the identification of time Petri net systems. An identification algorithm
for timed net systems must take into account that the firing of a transition requires not only …

This paper investigates several speedup techniques for a multiobjective integer linear
program (ILP) used to obtain an optimal Petri net supervisor with a compressed structure for …

The trends of increasing wafer diameter and smaller lot sizes have led to more transient
periods in wafer fabrication. For some wafer fabrication processes, such as atomic layer …

This monograph presents the state-of-the-art developments in the design of behaviorally
and structurally optimal livenessen-forcing Petri net supervisors with computationally …

This paper focuses on solving deadlock problems in flexible manufacturing systems
modeled with Petri nets by adding a set of recovery transitions. Different from the traditional …

The problem addressed in this document concerns the coordinated allocation of a finite set
of reusable resources to a set of concurrently running processes. These processes execute …

Liveness is among the most significant properties when Petri net (PN) models of automated
systems are analyzed, which ensures systems' deadlock-freeness. Traditionally, the liveness …