Title :
Token Variation Vector and Analysis of Some Properties of Petri Nets
Author :
Costa, E.M.M. ; Medeiros, J.B. ; Pozzebon, E. ; Perez, A.F.L. ; Filho, J.V.S.
Author_Institution :
Colegiado de Eng. Eletr., Univ. Fed. do Vale do Sao Francisco, São Francisco, Brazil
Abstract :
In this paper is presented a new definition for Petri nets: the Token Variation Vector. This definition is presented as simple strategy for evaluation of some properties of Petri nets, based on analysis of token number variation on places when enabled transitions fire. Some basic uses of this definition is presented as examples, showing how it can be used in union with others definitions to ensure coverage, deadlock analysis, and others properties.
Keywords :
Petri nets; vectors; Petri nets; token variation vector; Analytical models; Computational modeling; Control systems; Discrete event systems; Manufacturing systems; Petri nets; Petri Nets; Properties of Petri Nets; Token Variation Vector;
Journal_Title :
Latin America Transactions, IEEE (Revista IEEE America Latina)
DOI :
10.1109/TLA.2010.5623501
