Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems
نویسندگان
چکیده
منابع مشابه
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets - A Literature Review
Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing system. Their occurrences often deteriorate the utilization of resources and may lead to catastrophic results in safety-critical systems. Graph theory, automata, and Petri nets are three important mathematical tools to handle deadlock problems in resource allocation systems. Particularly, Petri nets are co...
متن کاملA Literature Review of Deadlock Prevention Policy Based on Petri Nets for Automated Manufacturing Systems
Deadlock is an undesired situation in a highly automated system due to the fact that no system can allow its occurrence which may produce some unnecessary economic losses or serious consequences. There are three mathematical tools to handle deadlocks in resource allocation systems: graph theory, finite state machine, and Petri net. Due to its inherent characteristics, Petri nets are widely appl...
متن کاملDeadlock Control in Generalized Petri Nets
This chapter proposes a number of deadlock prevention polices for a class of generalized Petri nets, namely G-systems, which is usually considered to be the most generalized Petri nets that can model Flexible Manufacturing Systems (FMSs) with machining, assembly, and disassembly operations. First, a deadlock prevention policy based on elementary siphons theory is presented, which indicates that...
متن کاملIterative Deadlock Control for Petri Net Models of Automated Manufacturing Systems: Algorithms and Case Studies
Deadlocks should be eliminated in resource allocation systems such as flexible manufacturing systems. An iterative deadlock control policy is usually considered to be a natural solution with reasonable computational cost for a large-scale system where direct methods would be prohibitively expensive (and in some cases impossible) even with the best available computing power. This chapter reviews...
متن کاملTimed Colored Petri Nets Based
Abstract: Aero-engines maintenance procedure can be treated as a typical discrete event dynamic system. A theory that synthesized timed colored Petri net is proposed. The theory adopts a bottom-up approach by merging all sub modules, and each one characterizes the critical resource contention among processes. Nevertheless Petri net seems inapplicable to dynamic scheduling modelling because of i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Processes
سال: 2019
ISSN: 2227-9717
DOI: 10.3390/pr8010021