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 …

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 widely used in modeling, analysis, and control of discrete event systems
arising from manufacturing, transportation, computer and communication networks, and web …

Resource failures may happen in automated manufacturing systems (AMSs) because of
different reasons in the real world, making most existing deadlock control policies …

Over the last two decades, a great deal of research has been focused on solving deadlock
problems in resource allocation systems such as computer communication systems …

In this paper, a compact representation of the reachability graph of a Petri net is proposed.
The transition set of a Petri net is partitioned into the subsets of explicit and implicit …

Automatic Web Service composition is gaining momentum as the potential silver bullet in
Service Oriented Architecture. The need for interservice compatibility analysis and indirect …

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 …