TY - GEN
T1 - Notion de Dualite et de Symetrie dans les Reseaux de Petri
AU - Memmi, Gérard
N1 - Publisher Copyright:
© 1979, Springer-Verlag.
PY - 1979/1/1
Y1 - 1979/1/1
N2 - After having recalled some basic definitions and properties of the Petri nets, we synthesize some algebraic results, based upon a theorem of compatibility of linear inequalities systems (near of the Farkas lemma). We find, as corollaries of equivalence theorems between algebraic propositions and Petri nets properties, two theorems synthesizing new results and scattered ones in the literature. Moreover, we refind a necessary condition for a Petri net to be live only based upon the structure of the graph, and also a symmetrical necessary condition for a Petri net to be bounded and live. We recall, then, the leakage notion [10] and define the symmetrical notion of accumulator from where we derive a necessary condition for a Petri net to be bounded and live.
AB - After having recalled some basic definitions and properties of the Petri nets, we synthesize some algebraic results, based upon a theorem of compatibility of linear inequalities systems (near of the Farkas lemma). We find, as corollaries of equivalence theorems between algebraic propositions and Petri nets properties, two theorems synthesizing new results and scattered ones in the literature. Moreover, we refind a necessary condition for a Petri net to be live only based upon the structure of the graph, and also a symmetrical necessary condition for a Petri net to be bounded and live. We recall, then, the leakage notion [10] and define the symmetrical notion of accumulator from where we derive a necessary condition for a Petri net to be bounded and live.
U2 - 10.1007/BFb0022465
DO - 10.1007/BFb0022465
M3 - Conference contribution
AN - SCOPUS:85034822657
SN - 9783540095118
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 91
EP - 108
BT - Semantics of Concurrent Computation - Proceedings of the International Symposium
A2 - Kahn, Gilles
PB - Springer Verlag
T2 - International Symposium on Semantics of Concurrent Computation, 1979
Y2 - 2 July 1979 through 4 July 1979
ER -