Online diagnosis of labeled timed Petri net using reduction rules

2017 ◽  
Author(s):  
Ahmed Saadi Hadjira ◽  
Boukala Mohand Cherif
Keyword(s):  
Petri Net ◽  
Timed Petri Net

The Simulation of the Ship Production Design Process Based on Hierarchical Timed Petri Net

2012 ◽  
Vol 544 ◽  
pp. 170-175 ◽  
Author(s):  
Rui Yan ◽  
Ping Jiang ◽  
Wei Jia Li ◽  
Jun Yan ◽  
Long Wen
Keyword(s):  
Complex Systems ◽  
Design Process ◽  
Petri Net ◽  
Current Situation ◽  
Sea Transport ◽  
Timed Petri Net ◽  
Project Environment ◽  
Complex Process

Shipbuilding is a very important industry for its irreplaceable role into the sea transport and oceans exploration. But ship production design is a very complex process, causing the inefficiency of the shipbuilding. At the same time, the current situation of most shipbuilding enterprises is the multi-project environment and the resources among them are shared, the large and complex systems are hardly to simulate. In this research, a multi-resources oriented hierarchical timed petri net (HTPN) are constructed to model the ship production design process under the multi-project environment and a WFPN software is developed based on HTPN. To evaluate the efficiency and applicability of WFPN, a case study is conducted and the results show that it’s practicable. Beside on it, the analyses of the resource loads are also providing a way to promote the efficiency of the shipbuilding enterprises.

Modelling and analysis of hybrid stochastic timed Petri net

2018 ◽  
Vol 6 (2) ◽  
pp. 90-110
Author(s):  
Ruimin Cao ◽  
Lina Hao ◽  
Fengli Wang ◽  
Qiang Gao
Keyword(s):  
Petri Net ◽  
Timed Petri Net
Sign in / Sign up

Export Citation Format

Share Document