Title
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets
Abstract
In this paper we propose a new solution to the problem of finding generating families of siphons (structural dead-locks in classical terminology), traps and st-components in Petri Nets. These families are obtained as solutions of some systems of linear inequalities. Their transformation into a system of linear equations allows to interpret the technique as follows: traps (siphons, st-components) of a net N are deduced from the support of psemiflows of a transformed net NΘ(NΣ,NΣΘ).
Year
DOI
Venue
1991
10.1007/3-540-56689-9_42
Applications and Theory of Petri Nets
Keywords
Field
DocType
new technique,generating family,colored petri nets,linear equations,petri net
Discrete mathematics,Petri net,Terminology,System of linear equations,Siphon,Computer science,Colored petri,Stochastic Petri net,Linear inequality
Conference
ISBN
Citations 
PageRank 
3-540-56689-9
39
5.45
References 
Authors
4
3
Name
Order
Citations
PageRank
J. Ezpeleta169144.37
Jean-michel Couvreur232928.61
M. Silva3688.27