Deadlock avoidance in manufacturing systems of parallel mutual exclusion

In this paper, manufacturing systems with parallel mutual exclusion that share finite resources are modelled by a class of extended Petri nets-parallel process Petri nets (PPPN). Based on this model, a sufficient and necessary condition for occurring deadlock in manufacturing system is given, and a...

Full description

Saved in:
Bibliographic Details
Published inProceedings of 1994 American Control Conference - ACC '94 Vol. 1; pp. 722 - 723 vol.1
Main Authors Yuan Zhonghu, Xiao Wendong, Xu Xinhe
Format Conference Proceeding
LanguageEnglish
Published IEEE 1994
Subjects
Control systems
Feedback control
Logic
Manufacturing systems
Partial response channels
Petri nets
Production
Resource management
System recovery
Virtual manufacturing
Online AccessGet full text

Cover

More Information
Summary:In this paper, manufacturing systems with parallel mutual exclusion that share finite resources are modelled by a class of extended Petri nets-parallel process Petri nets (PPPN). Based on this model, a sufficient and necessary condition for occurring deadlock in manufacturing system is given, and a maximal permissive feedback control logic, which allocates the shared resources and avoids deadlock, is presented.
ISBN:0780317831
9780780317833
DOI:10.1109/ACC.1994.751834