DocumentCode
2224520
Title
On generating a basis of invariants in Petri nets
Author
Bourjij, A. ; Boutayeb, M. ; Koenig, D. ; Cecchin, T.
Author_Institution
CNRS, Saint-Die, France
Volume
3
fYear
1997
fDate
12-15 Oct 1997
Firstpage
2228
Abstract
In this paper we present a simple and fast method to obtain invariants (P-invariants or T-invariants) in Petri nets. Sufficient conditions to apply the proposed algorithm are give. Unlike the previous techniques, our approach consists in transforming the homogeneous equation into a reduced form and, with the aid of simple rules, to obtain a basis of the invariants. It has been shown by means of numerical example that computational requirements are reduced, in comparison with previous methods, for large-scale systems
Keywords
Petri nets; computational complexity; P-invariants; Petri nets; T-invariants; homogeneous equation; large-scale systems; reduced form; Concurrent computing; Discrete event systems; Distributed computing; Equations; Large-scale systems; Petri nets; Productivity; Real time systems; Sufficient conditions; Time varying systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location
Orlando, FL
ISSN
1062-922X
Print_ISBN
0-7803-4053-1
Type
conf
DOI
10.1109/ICSMC.1997.635197
Filename
635197
Link To Document