Vetor de Variação de Fichas e Análise de Algumas Propriedades de Redes de Petri (Token Variation Vector and Analysis of Some Properties of Petri Nets)

Eduard Montgomery Meira Costa (eduard.montgomery@univasf.edu.br), José Bismark de Medeiros (jose.bismark@univasf.edu.br), Eliane Pozzebon (eliane.pozzebon@univasf.edu.br), Anderson Luiz Fernandes Perez (anderson.perez@univasf.edu.br), José Valentim dos Santos (jose.valentim@univasf.edu.br)


Universidade Federal do Vale do São Francisco (UNIVASF)
This paper appears in: Revista IEEE América Latina

Publication Date: Sept. 2010
Volume: 8,   Issue: 5 
ISSN: 1548-0992


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.

Index Terms:
Petri Nets, Properties of Petri Nets, Token Variation Vector.   


Documents that cite this document
This function is not implemented yet.


[PDF Full-Text (428)]