Title :
A decentralized approach for computing invariants in large scale and interconnected Petri nets
Author :
Bourjij, A. ; Boutayeb, M. ; Cecchin, T.
Author_Institution :
CNRS, Saint-Die, France
Abstract :
In paper we present an original approach for the analysis of large scale systems modelled by Petri nets. The analysis of this kind of systems can be very difficult. But by a good decomposition of the huge systems into a lot of smaller ones, we can reduce the complexity of the analysis and thus the erroneous conclusions. The proposed approach is algebraic and gives a parallel algorithm for invariants computing
Keywords :
Petri nets; interconnected systems; decentralized approach; interconnected Petri nets; invariants computing; large-scale Petri nets; parallel algorithm; Concurrent computing; Discrete event systems; Displays; Large-scale systems; Matrix decomposition; Parallel algorithms; Petri nets; Radiofrequency interference; Reduced order systems; Sparse matrices;
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.638274
