Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis

2014 ◽  
Vol 17 (4) ◽  
pp. 1403-1414 ◽  
Author(s):  
Wangyang Yu ◽  
Zhijun Ding ◽  
Xianwen Fang
Keyword(s):  
Petri Nets ◽  
System Analysis ◽  
Dependency Graph ◽  
Dynamic Slicing

scholarly journals Coloured Petri Nets and the Invariant-Method

1983 ◽  
Vol 8 (104) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
System Analysis ◽  
Coloured Petri Nets ◽  
System Description ◽  
Invariant Method

<p>In many systems a number of different processes have a similar structure and behaviour. To shorten system description and system analysis it is desirable to be able to treat such similar processes in a uniform and succinct way. In this paper it is shown how Petri nets can be generalized to allow processes to be described by a common subnet, without losing the ability to distinguish between them. Our generalization, called coloured Petri nets, is heavily influenced by predicate/transition-nets introduced by H.J. Genrich and K. Lautenbach. Moreover our paper shows how the invariant-method, introduced for Petri nets by K. Lautenbach can be generalized to coloured Petri nets.</p><p>Revised version (first version 1979)</p>

scholarly journals Dynamic Slicing Techniques for Petri Nets

2008 ◽  
Vol 223 ◽  
pp. 153-165 ◽  
Author(s):  
M. Llorens ◽  
J. Oliver ◽  
J. Silva ◽  
S. Tamarit ◽  
G. Vidal
Keyword(s):  
Petri Nets ◽  
Dynamic Slicing

Algebraic system analysis of timed Petri nets

Idempotency ◽  
1998 ◽  
pp. 145-170 ◽  
Author(s):  
Guy Cohen ◽  
Stephane Gaubert ◽  
Jean-Pierre Quadrat
Keyword(s):  
Petri Nets ◽  
Algebraic System ◽  
System Analysis ◽  
Timed Petri Nets
Sign in / Sign up

Export Citation Format

Share Document