scholarly journals Sufficient conditions for a flexible manufacturing system to be deadlocked

2012 ◽  
Vol 3 (1) ◽  
pp. 53-62 ◽  
Author(s):  
Paul E. Deering
Keyword(s):  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Sufficient Conditions

Liveness and boundedness analysis of Petri net synthesis

2014 ◽  
Vol 24 (5) ◽  
Author(s):  
CHUANLIANG XIA
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Dynamic Properties ◽  
Synthesis Method ◽  
Sufficient Conditions ◽  
Sufficient And Necessary Conditions ◽  
Petri Net Synthesis

We provide motivation for and then study the synthesis of Petri nets. Synthesis can avoid the state exploration problem by guaranteeing correctness for the Petri net. We propose conditions to be imposed on a synthesis shared pb-type subnet for systems specified in Petri nets that ensure the preservation of the liveness and boundedness structural properties. Specifically, we propose a group of sufficient conditions, or both sufficient and necessary conditions, for liveness preservation and boundedness preservation. Possible applications of this synthesis method are illustrated through an example in the form of a flexible manufacturing system. These results are useful for studying the static and dynamic properties of Petri nets for analysing the properties of large complex systems.

A digital-twin visualized architecture for Flexible Manufacturing System

2021 ◽  
Vol 60 ◽  
pp. 176-201
Author(s):  
Yepeng Fan ◽  
Jianzhong Yang ◽  
Jihong Chen ◽  
Pengcheng Hu ◽  
Xiaoyu Wang ◽  
...  
Keyword(s):  
Flexible Manufacturing ◽  
Manufacturing System ◽  
Flexible Manufacturing System ◽  
Digital Twin
Sign in / Sign up

Export Citation Format

Share Document