On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets
نویسندگان
چکیده
منابع مشابه
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 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...
متن کاملVerification of Systems: Deadlock Analysis Based on Petri Nets
The present work is devoted to the study of deadlock problem in Place/Transition (P/T) nets, particularly to the exploration of how a deadlocks’ presence can be revealed solely on the basis of the P/T net N0 in question and a structure, here termed as the fsa of the type Mw, that represents the reachability set <(N0) of N0. The structure can be obtained from N0 following the original algorithm ...
متن کاملMulti-Agent-Systems Based on Coloured Petri Nets
Based on Y. Shoham's paradigm, called Agent-Oriented Programming (AOP), multi-agent-systems are presented as a specialization of distributed, Object-Oriented systems. Equipped with knowledge , general concurrent inference mechanisms dealing with this knowledge, and a declarative agent program, these multi-agent-systems are intended to be a foundation of a new approach uniting advantages of many...
متن کاملA Knowledge-based Tool for the Automated Synthesis of Petri Nets for Manufacturing Systems
The design process of control programs that drive the operation of new generation manufacturing systems has to respond quickly to the changes of a evolutionary market. The improvement towards a completely automated design process is actually arising from the eld of Artiicial Intelligence. This work presents an application of artiicial intelligence planning techniques for the automatic generatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.3022643