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 definition is presented as examples, showing how it can be used in union with others definitions to ensure coverage, deadlock analysis, and others properties.