IEEE - Institute of Electrical and Electronics Engineers, Inc. - On generating a basis of invariants in Petri nets

1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation

Author(s): Bourjij, A. ; Boutayeb, M. ; Koenig, D. ; Cecchin, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Orlando, FL, USA, USA
Conference Date: 12 October 1997
Volume: 3
ISBN (Paper): 0-7803-4053-1
ISSN (Paper): 1062-922X
DOI: 10.1109/ICSMC.1997.635197
Regular:

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... View More

Advertisement