Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis

2007 ◽  
Vol 20 (5) ◽  
pp. 533-551 ◽  
Author(s):  
Xiaomin Zhu ◽  
Jianxin Liao ◽  
Junliang Chen
Keyword(s):  
Petri Net ◽  
Property Analysis ◽  
Protocol Conversion ◽  
Universal Coupling

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.

scholarly journals Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 34644-34653 ◽  
Author(s):  
Liang Qi ◽  
Wenjing Luan ◽  
Xiaoyu Sean Lu ◽  
Xiwang Guo
Keyword(s):  
Petri Net ◽  
Computational Method ◽  
Property Analysis ◽  
P Type

Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure

2016 ◽  
Vol 45 (4) ◽  
pp. 879-898 ◽  
Author(s):  
Wei Liu ◽  
Lu Wang ◽  
Yuyue Du ◽  
Maozhen Li
Keyword(s):  
Petri Net ◽  
Concurrent Programs ◽  
Property Analysis
Sign in / Sign up

Export Citation Format

Share Document