Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model

Naiqi Wu

doi:10.1109/5326.760564

Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) ◽

10.1109/5326.760564 ◽

1999 ◽

Vol 29 (2) ◽

pp. 192-204 ◽

Cited By ~ 161

Author(s):

Naiqi Wu

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Sufficient Conditions ◽

Necessary And Sufficient Conditions ◽

Colored Petri Net ◽

Necessary And Sufficient

Download Full-text

NECESSARY AND SUFFICIENT CONDITIONS FOR DEADLOCKS IN FLEXIBLE MANUFACTURING SYSTEMS BASED ON A DIGRAPH MODEL

Asian Journal of Control ◽

10.1111/j.1934-6093.2004.tb00200.x ◽

2008 ◽

Vol 6 (2) ◽

pp. 217-228 ◽

Cited By ~ 9

Author(s):

Wenle Zhang ◽

Robert P. Judd ◽

Paul Deering

Keyword(s):

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Sufficient Conditions ◽

Necessary And Sufficient Conditions ◽

Digraph Model ◽

Necessary And Sufficient

Download Full-text

Anytime heuristic search for scheduling flexible manufacturing systems: a timed colored Petri net approach

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s00170-014-6065-3 ◽

2014 ◽

Vol 75 (1-4) ◽

pp. 123-137 ◽

Cited By ~ 15

Author(s):

Olatunde T. Baruwa ◽

Miquel A. Piera

Keyword(s):

Petri Net ◽

Heuristic Search ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Colored Petri Net

Download Full-text

Colored Petri net model for significant reduction of invariants in flexible manufacturing systems

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s00170-016-8864-1 ◽

2016 ◽

Vol 88 (5-8) ◽

pp. 1775-1787 ◽

Cited By ~ 3

Author(s):

Shaukat Ali Shah ◽

Erik L. J. Bohez ◽

Kamran Shah ◽

Izhar ul Haq ◽

Khizar Azam ◽

...

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Colored Petri Net

Download Full-text

A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems

Journal of the Brazilian Computer Society ◽

10.1590/s0104-65001997000300002 ◽

1997 ◽

Vol 4 (2) ◽

Cited By ~ 3

Author(s):

Tomaz C. Barros ◽

Jorge C.A. de Figueiredo ◽

Angelo Perkusich

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Fault Tolerant ◽

Colored Petri Net

Download Full-text

Stochastic colored Petri net models of flexible manufacturing systems: Material handling systems and machining

Computers & Industrial Engineering ◽

10.1016/0360-8352(95)00094-h ◽

1995 ◽

Vol 29 (1-4) ◽

pp. 333-337 ◽

Cited By ~ 7

Author(s):

Kendra E. Moore ◽

Surendra M. Gupta

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Material Handling ◽

Colored Petri Net ◽

Material Handling Systems

Download Full-text

Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources

Information Sciences ◽

10.1016/j.ins.2015.11.021 ◽

2016 ◽

Vol 363 ◽

pp. 221-234 ◽

Cited By ~ 14

Author(s):

Huixia Liu ◽

Weimin Wu ◽

Hongye Su ◽

Zhenxing Zhang

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Key Resources

Download Full-text

A Petri net-based simulation tool for the design and analysis of flexible manufacturing systems

Journal of Manufacturing Systems ◽

10.1016/0278-6125(94)90033-7 ◽

1994 ◽

Vol 13 (4) ◽

pp. 251-261 ◽

Cited By ~ 14

Author(s):

Dong-Soon Yim ◽

Thomas A. Barta

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Simulation Tool

Download Full-text

A Petri Net Based Deadlock Avoidance Policy for Flexible Manufacturing Systems With Assembly Operations and Multiple Resource Acquisition

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2018.2876343 ◽

2019 ◽

Vol 15 (6) ◽

pp. 3379-3387 ◽

Cited By ~ 5

Author(s):

JianChao Luo ◽

ZhiQiang Liu ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Resource Acquisition ◽

Deadlock Avoidance ◽

Multiple Resource ◽

Assembly Operations

Download Full-text

Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 ◽

10.1109/pnpm.1991.238795 ◽

2002 ◽

Cited By ~ 10

Author(s):

R.Z. Zurawski ◽

T.S. Dillon

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Systematic Construction

Download Full-text

Comment on “A Deadlock Prevention Approach for Flexible Manufacturing Systems with Uncontrollable Transitions in Their Petri Net Models”

Asian Journal of Control ◽

10.1002/asjc.566 ◽

2012 ◽

Vol 14 (4) ◽

pp. 1155-1158

Author(s):

Murat Uzam

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Deadlock Prevention ◽

Prevention Approach

Download Full-text