Token Variation Vector and Analysis of Some Properties of Petri Nets

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 defini...

Full description

Saved in:
Bibliographic Details
Published in:Revista IEEE América Latina 2010-09, Vol.8 (5), p.499-504
Main Authors: Costa, E M M, Medeiros, J B, Pozzebon, E, Perez, A F L, Filho, J V S
Format: Article
Language:English
Subjects:
Analytical models
Computational modeling
Control systems
Discrete event systems
Fires
Manufacturing systems
Mathematical analysis
Petri nets
Properties of Petri Nets
Strategy
Token Variation Vector
Unions
Vectors (mathematics)
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1548-0992
1548-0992
DOI:10.1109/TLA.2010.5623501