Title :
Improving the decision power of rank theorems
Author :
Recalde, Laura ; Teruel, Enrique ; Silva, Manuel
Author_Institution :
Dept. Inf. e Ingenieria de Sistemas, Zaragoza Univ., Spain
Abstract :
The analysis of Petri net models based on structural theory is in general more efficient than behavioral techniques. Moreover, it provides a better understanding of the system, that can be used to correct failures. Unfortunately, structural analysis does not always allow these decisions. In this paper the applicability of structural techniques for liveness analysis, particularly those based on the rank of the token-flow matrix, is extended by means of transformations. The application of these techniques is illustrated by their use in the analysis of a manufacturing example
Keywords :
Petri nets; decision theory; matrix algebra; operations research; production control; Petri net models; behavioral techniques; failure correction; liveness analysis; manufacturing; rank theorem decision power; structural theory; token-flow matrix; transformations; Contracts; Decision support systems; Interleaved codes; Polynomials; State-space methods; Stochastic processes; Upper bound;
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.633256