GaiYun Liu

  • Citations Per Year
Learn More
A variety of deadlock control policies based on Petri nets have been proposed for automated manufacturing systems (AMSs). Most of them prevent deadlocks by adding monitors for emptiable siphons that, without an appropriate control policy, can cause deadlocks, where the resources in a system under consideration are assumed to be reliable. When resources are(More)
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller GaiYun Liu & Daniel Yuh Chao To cite this article: GaiYun Liu & Daniel Yuh Chao (2015) Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller,(More)
Deadlocks are a constant issue in flexible manufacturing systems (FMSs). Circular wait is a necessary condition of deadlocks. In the framework of Petri nets modeling FMSs, deadlocks have a great relation with the resource circuits. In the paper, we present a symbolic approach to compute all resource circuits of Petri net models of FMSs by using binary(More)
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 critical role in the analysis and control of systems modeled with Petri nets. This paper surveys the state-of-the-art siphon theory of Petri nets including basic concepts,(More)
Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views(More)
Deadlocks are an undesirable situation in automated flexible manufacturing systems (FMS). Their occurrences often deteriorate the utilization of resources and may lead to catastrophic results. Finding an optimal supervisor is NP-hard. A computationally efficient method often ends up with a suboptimal one. This paper develops a deadlock prevention method(More)
  • 1