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