Advanced search
Publication Cover
International Journal of Control Volume 83, 2010 - Issue 10
Submit an article Journal homepage
109
Views
20
CrossRef citations to date
0
Altmetric
Original Articles

Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming

Mi Zhao Machinery and Electricity College, Shihezi University, Xinjiang 832003, P.R. ChinaCorrespondence[email protected]
,
Yifan Hou School of Electro-Mechanical Engineering, Xidian University, Xi'an 710071, P.R. China
&
Ding Liu School of Electro-Mechanical Engineering, Xidian University, Xi'an 710071, P.R. China
Pages 2053-2066 | Received 25 Jan 2010, Accepted 25 Jun 2010, Published online: 21 Sep 2010

Citations (20)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (1)

Murat Uzam, Zhiwu Li & Umar Suleiman Abubakar. (2016) Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets. International Journal of Production Research 54:15, pages 4634-4657.
Read now

Articles from other publishers (19)

Mowafak Hassan Abdul-Hussin. (2021) Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S 4 PR-Nets . Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S 4 PR-Nets .
Yanxiang Feng, Keyi Xing, Huixia Liu & Yunchao Wu. (2019) Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources. Information Sciences 484, pages 286-301.
Crossref
Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad Abouel Nasr & Abdulaziz Mohammed El-Tamimi. (2018) One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. IEEE Access 6, pages 34307-34323.
Crossref
Mowafak H. Abdul-Hussin & Zbigniew A. Banaszak. (2017) Siphon-based deadlock prevention for a class of S 4 PR generalized Petri nets . Siphon-based deadlock prevention for a class of S 4 PR generalized Petri nets .
Mi Zhao. (2017) An integrated control method for designing non-blocking supervisors using Petri nets. Advances in Mechanical Engineering 9:6, pages 168781401770082.
Crossref
YiFan Hou & Kamel Barkaoui. (2017) Deadlock analysis and control based on Petri nets: A siphon approach review. Advances in Mechanical Engineering 9:5, pages 168781401769354.
Crossref
Mi Zhao & Murat Uzam. (2017) A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems. Information Sciences 388-389, pages 135-153.
Crossref
Murat Uzam, Gökhan Gelen & Tahir Lawan Saleh. (2016) Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs. Information Sciences 363, pages 235-260.
Crossref
Xiuyan Zhang, Murat Uzam, Zhiwu Li & Naiqi Wu. (2016) On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places. IMA Journal of Mathematical Control and Information, pages dnw043.
Crossref
Mi Zhao, Murat Uzam & YiFan Hou. (2016) Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method. Advances in Mechanical Engineering 8:3, pages 168781401663982.
Crossref
YiFan Hou, Mi Zhao, Ding Liu & Liang Hong. (2016) An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets. Discrete Dynamics in Nature and Society 2016, pages 1-12.
Crossref
YiFan Hou, Mi Zhao & Ding Liu. (2016) Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation. Asian Journal of Control 18:1, pages 206-223.
Crossref
Dong Lida, Zhu Dan, Zhu Chengcheng & Xu Shanshan. (2014) Region minimised monitor design for deadlock‐prevention of S 4 PR nets . IET Control Theory & Applications 8:13, pages 1224-1237.
Crossref
YiFan Hou, ZhiWu Li, Mi Zhao & Ding Liu. (2014) Extraction of elementary siphons in a class of generalized Petri nets using graph theory. Engineering Computations 31:2, pages 331-352.
Crossref
Mi Zhao & YiFan Hou. (2013) A deadlock detection and prevention method for a class of generalized petri nets under proper resource allocation. A deadlock detection and prevention method for a class of generalized petri nets under proper resource allocation.
Yi Fan Hou, Zhi Wu Li, Mi Zhao & Ding Liu. (2013) Extension of Elementary Siphons in a Class of Generalized Petri Nets. Applied Mechanics and Materials 284-287, pages 2238-2243.
Crossref
Mi Zhao & Yifan Hou. 2013. Formal Methods in Manufacturing Systems. Formal Methods in Manufacturing Systems 343 366 .
Mi Zhao & Yifan Hou. (2012) Non-blocking supervisors synthesis for a class of generalized Petri nets based on proper resource allocation. Non-blocking supervisors synthesis for a class of generalized Petri nets based on proper resource allocation.
YiFan Hou, Ding Liu & MengChu Zhou. (2012) On iterative liveness-enforcement for a class of generalized Petri nets. On iterative liveness-enforcement for a class of generalized Petri nets.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.