Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing
system. Their occurrences often deteriorate the utilization of resources and may lead to …

Petri nets have gained increasing usage and acceptance as a basic model of asynchronous
concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a …

Because of residency time constraints and activity time variation of cluster tools, it is very
difficult to operate such integrated semiconductor manufacturing equipment. This paper …

Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …

This work proposes a novel structure in Petri nets, namely data inhibitor arcs, and their
application to the optimal supervisory control of Petri nets. A data inhibitor arc is an arc from …

Supervisory control is usually considered as an external control mechanism to a system by
controlling the occurrences of its controllable events. There exist Petri net models whose …

This paper presents a new Petri net structure, namely, an interval inhibitor arc, and its
application to the optimal supervisory control of Petri nets. An interval inhibitor arc is an arc …

Time and resource management and optimization are two important challenges for an
emergency response process, by which all individuals and groups manage hazards in an …

In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to
solve the modeling, analysis, and control problems. So far, nearly all known approaches to …

Deadlock is a rather undesirable case in automated manufacturing systems (AMSs). The
appearance of deadlock can cause the partial or total stagnation of a system. So far, a large …