By Topic

Token Variation Vector and Analysis of Some Properties of Petri Nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Eduard Montgomery Meira Costa ; Colegiado de Eng. Eletr., Univ. Fed. do Vale do Sao Francisco, São Francisco, Brazil ; Jose Bismark de Medeiros ; Eliane Pozzebon ; Anderson Luiz Fernandes Perez
more authors

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.

Published in:

IEEE Latin America Transactions  (Volume:8 ,  Issue: 5 )