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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.635197
