Generalizing parallel and sequential mutual exclusions for Petri net synthesis of manufacturing systems/sup 1/

2002 ◽  
Author(s):  
M.-C. Zhou
Keyword(s):  
Petri Net ◽  
Manufacturing Systems ◽  
Petri Net Synthesis

Structural Property Analysis of a Kind of Petri Net Synthesis

2011 ◽  
Vol 255-260 ◽  
pp. 1989-1993
Author(s):  
Chuan Liang Xia ◽  
Zhen Dong Liu ◽  
Peng Sun
Keyword(s):  
Structural Properties ◽  
Structural Property ◽  
Petri Net ◽  
The State ◽  
Property Analysis ◽  
Petri Net Synthesis

Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared a kind of subnet under which the following structural properties will be preserved: repetitiveness, consistency, structural boundedness, conservativeness, structural liveness, P-invariant and T-invariant.

Sign in / Sign up

Export Citation Format

Share Document