DocumentCode :
1833645
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
Volume :
4
fYear :
1997
fDate :
12-15 Oct 1997
Firstpage :
3768
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;
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.633256
Filename :
633256
Link To Document :
بازگشت