NDLI: A novel siphon-based deadlock control method for FMS

Content Provider	IEEE Xplore Digital Library
Author	ZhiWu Li MengChu Zhou
Copyright Year	2003
Description	Author affiliation: Sch. of Electro-Mech. Eng., Xidian Univ., Xi'an, China (ZhiWu Li)
Abstract	An important Petri net-based method prevents deadlocks arising in flexible manufacturing systems (FMS) is to add control places and related arcs to strict minimal siphons (SMS) such that no siphon can be emptied. It advantages lies in that the method often adds too any additional places to the net. This paper explores ways to minimize the new additions of places while achieving the same control purpose. It proposes the concept of elementary siphons that are a special class of SMS and proves that by adding a control place for each elementary siphon to make sure that it is always marked, deadlock can be successfully prevented. Compared with the existing methods, the new method requires a much smaller number of control places and, therefore, is suitable for large-scale Petri nets. An FMS example is used to illustrate the proposed concepts and policy.
Sponsorship	IEEE Robotics & Autom. Soc. Nat. Sci. Council, Taiwan, Ministr. Educ., Taiwan
Starting Page	1452
Ending Page	1457
File Size	405570
Page Count	6
File Format	PDF
ISBN	0780377362
ISSN	10504729
DOI	10.1109/ROBOT.2003.1241796
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2003-09-14
Publisher Place	Taiwan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	System recovery Flexible manufacturing systems Petri nets Control systems Large-scale systems Job production systems Automatic control
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence Control and Systems Engineering Electrical and Electronic Engineering Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A deadlock control method using elementary siphons of Petri nets

On Siphon Computation for Deadlock Control in a Class of Petri Nets

Comparison of deadlock prevention policies in FMS based on Petri nets siphons

An efficient search algorithm for deadlock-free scheduling in FMS using Petri nets

Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets

On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets

A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions

An effective FMS deadlock prevention policy based on elementary siphons

A deadlock prevention method for FMS with multiple resource acquisitions

A novel siphon-based deadlock control method for FMS

Similar Documents

A deadlock control method using elementary siphons of Petri nets

On Siphon Computation for Deadlock Control in a Class of Petri Nets

Comparison of deadlock prevention policies in FMS based on Petri nets siphons

An efficient search algorithm for deadlock-free scheduling in FMS using Petri nets

Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets

On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets

A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions

An effective FMS deadlock prevention policy based on elementary siphons

A deadlock prevention method for FMS with multiple resource acquisitions

A novel siphon-based deadlock control method for FMS