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. Ezpeleta | 1 | 691 | 44.37 |
Jean-michel Couvreur | 2 | 329 | 28.61 |
M. Silva | 3 | 68 | 8.27 |