An application of Petri net reduction for Ada tasking deadlock analysis

1996 ◽  
Vol 7 (12) ◽  
pp. 1307-1322 ◽  
Author(s):  
S.M. Shatz ◽  
Shengru Tu ◽  
T. Murata ◽  
S. Duri
Keyword(s):  
Petri Net ◽  
Deadlock Analysis

scholarly journals Petri-net-based deadlock analysis of Process Algebra programs

1994 ◽  
Vol 23 (1) ◽  
pp. 55-89 ◽  
Author(s):  
P. Rondogiannis ◽  
M.H.M. Cheng
Keyword(s):  
Petri Net ◽  
Process Algebra ◽  
Deadlock Analysis

Deadlock analysis and control using Petri net decomposition techniques

2019 ◽  
Vol 482 ◽  
pp. 440-456 ◽  
Author(s):  
Chunfu Zhong ◽  
Wenlong He ◽  
Zhiwu Li ◽  
Naiqi Wu ◽  
Ting Qu
Keyword(s):  
Petri Net ◽  
Decomposition Techniques ◽  
Deadlock Analysis ◽  
And Control

Loading and Unloading Schedule of Automatic Storage/Retrieval System

2014 ◽  
Vol 602-605 ◽  
pp. 1336-1339
Author(s):  
Hong Wei Lv
Keyword(s):  
Feedback Control ◽  
Petri Net ◽  
Retrieval System ◽  
Control Strategies ◽  
Object Oriented ◽  
Deadlock Avoidance ◽  
Analysis Problem ◽  
Plant Model ◽  
Deadlock Analysis ◽  
Loading And Unloading

Based on object oriented timed place Petri net (OOTPN) model, the study on the loading and unloading schedule of automatic Storage/Retrieval System is given. The OOTPN model is established through dividing the model into six sub models according to the class of AS/RS elements, that is: In-Buffer model, In-Plant model, In-Elevator model, Out-Elevator model, Out-Plant model and Out-Buffer model. The six sub models. Furthermore, the deadlock analysis problem of the process is also discussed, and the maximally permissive feedback control strategies for deadlock avoidance are finally proposed.

Sign in / Sign up

Export Citation Format

Share Document