The Detection and Prevention of Deadlock in Petri Nets

Hu, Wensong; Zhu, Yuyuan; Lei, Jie

doi:10.1016/j.phpro.2011.11.102

Cited by 6 publications

(3 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The aisle space in a factory is limited, and two-way traffic is usually present in a single lane. Collisions must be avoided when multiple vehicles are moving at the same time [24][25][26]. When we integrate the aforementioned technologies for unmanned vehicle systems, there are some main challenges.…”

Section: Purposementioning

confidence: 99%

Advanced, Innovative AIoT and Edge Computing for Unmanned Vehicle Systems in Factories

Kuo

2023

Electronics

View full text Add to dashboard Cite

Post-COVID-19, there are frequent manpower shortages across industries. Many factories pursuing future technologies are actively developing smart factories and introducing automation equipment to improve factory manufacturing efficiency. However, the delay and unreliability of existing wireless communication make it difficult to meet the needs of AGV navigation. Selecting the right sensor, reliable communication, and navigation control technology remains a challenging issue for system integrators. Most of today’s unmanned vehicles use expensive sensors or require new infrastructure to be deployed, impeding their widespread adoption. In this paper, we have developed a self-learning and efficient image recognition algorithm. We developed an unmanned vehicle system that can navigate without adding any specialized infrastructure, and tested it in the factory to verify its usability. The novelties of this system are that we have developed an unmanned vehicle system without any additional infrastructure, and we developed a rapid image recognition algorithm for unmanned vehicle systems to improve navigation safety. The core contribution of this system is that the system can navigate smoothly without expensive sensors and without any additional infrastructure. It can simultaneously support a large number of unmanned vehicle systems in a factory.

show abstract

Section: Purposementioning

confidence: 99%

Advanced, Innovative AIoT and Edge Computing for Unmanned Vehicle Systems in Factories

Kuo

2023

Electronics

View full text Add to dashboard Cite

show abstract

“…The way this central deadlock avoidance can be included in the optimization can be done in different ways. Petri nets [84] are a frequently used approach for deadlock avoidance in central motion planning. A Petri net, or a place/transition net, is a graphical tool to represent systems with concurrency.…”

Section: Deadlock Avoidancementioning

confidence: 99%

Automated guided vehicle systems, state-of-the-art control algorithms and techniques

Ryck

Versteyhe

Debrouwere

2020

Journal of Manufacturing Systems

273

View full text Add to dashboard Cite

Automated Guided Vehicles (AGVs) form a large and important part of the logistic transport systems in today's industry. They are used on a large scale, especially in Europe, for over a decade. Current employed AGV systems and current systems offered by global manufacturers almost all operate in a centralized way. One central controller controls the whole fleet of AGVs. The authors do see a trend towards decentralized systems where AGVs make individual decisions favoring flexibility, robustness, and scalability of transportation. With the paradigm shift of Industry 4.0 and future requirements, more research is done towards the decentralization of AGV-systems. And global leading manufacturers start to take an active interest. That said, this implementation seems still in infancy. Currently, literature is full of research on central as well as on decentral control techniques and algorithms. For researchers in the field and for AGV developers, it is hard to find structure in the growing amount of algorithms for various types of applications. This paper is, to this purpose, meant to provide a good overview of all AGV-related control algorithms and techniques. Not only those that were used in the early stages of AGVs, but also the algorithms and techniques used in the most recent AGV-systems, as well as the algorithms and techniques with high potential.

show abstract

“…It was said in [26] that if M 0 is initial marking of N then in (N, M 0 ) is a deadlock only on the condition that t ∈ T : M 0 [t⟩ is never found.…”

Section: Siphons Traps Deadlocks Invariants Repetitive and Characteristic Vectorsmentioning

confidence: 99%

Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets -- Part 1: Invariants, Siphons and Traps in Deadlock Avoidance

Čapkovič

2021

cai

View full text Add to dashboard Cite

Solving the deadlocks avoidance problem in Resource Allocation Systems (RAS) in Discrete-Event Systems (DES) is a rife problem, especially in Flexible Manufacturing Systems (FMS), alias Automated Manufacturing Systems (AMS). Petri Nets (PN) are an effectual tool often used at this procedure. In principle, there are two basic approaches how to deal with deadlocks in RAS based on PN. They are listed and illustrated here. First of the approaches is realized by means of the supervisor based on P-invariants of PN, while the second one is realized by means of the supervisor based on PN siphons. While the first approach needs to know the reachability graph/tree (RG/RT) expressing the causality of the development of the PN model of RAS, in order to find (after its thorough analysis) the deadlocks, the second approach needs the thorough analysis of the PN model structure by means of finding siphons and traps. Next, both approaches will be applied on the same PN model of RAS and the effectiveness of the achievement of their results will be compared and evaluated. Several simple illustrative examples will be introduced. For the in-depth analysis of the problem of deadlock avoiding, next Part 2 of this paper is prepared, where the newest research will be introduced and illustrated on more complicated examples. If necessary (because of the limited length of particular papers), also the third part -Part 3, will be prepared.

show abstract

The Detection and Prevention of Deadlock in Petri Nets

Cited by 6 publications

References 1 publication

Advanced, Innovative AIoT and Edge Computing for Unmanned Vehicle Systems in Factories

Advanced, Innovative AIoT and Edge Computing for Unmanned Vehicle Systems in Factories

Automated guided vehicle systems, state-of-the-art control algorithms and techniques

Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets -- Part 1: Invariants, Siphons and Traps in Deadlock Avoidance

Contact Info

Product

Resources

About