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

scholarly journals A Petri Net Semantics of a Simple Process Algebra for Mobility

2006 ◽  
Vol 154 (3) ◽  
pp. 71-94 ◽  
Author(s):  
Raymond Devillers ◽  
Hanna Klaudel ◽  
Maciej Koutny
Keyword(s):  
Petri Net ◽  
Process Algebra ◽  
Simple Process

scholarly journals Modeling the Distribution Grid by Petri Nets for Reconfiguration the Power System

2012 ◽  
Vol 433-440 ◽  
pp. 2561-2565 ◽  
Author(s):  
Phan Thi Huyen Chau ◽  
Eric Zamai ◽  
Pham Thi Ngoc Yen
Keyword(s):  
Power System ◽  
Petri Nets ◽  
Petri Net ◽  
Process Algebra ◽  
Power Network ◽  
Distribution Grid

The focus of the present paper is on modeling the distribution grid using Petri Net for reconfiguration. Such system can be described as node and connection. So modeling this system is to model the node and connection in order to describe all the actions in the system then collect the data . Each connection in the power network will be transfer to Petri Net according to the designing of the fiche. Then the whole system can be modeled by Process Algebra Petri Net (PPN). It makes the grid more compact and easier to monitor

Property-Preserving Petri Net Process Algebra in Software Engineering

10.1142/7919 ◽  
2011 ◽  
Author(s):  
Hejiao Huang ◽  
Li Jiao ◽  
To-Yat Cheung ◽  
Wai Ming Mak
Keyword(s):  
Software Engineering ◽  
Petri Net ◽  
Process Algebra

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.

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
Sign in / Sign up

Export Citation Format

Share Document