Achieving Atomicity of Tokens in Time Petri Nets: An Approach Based on Virtual Tokens

Token atomicity is a very important issue in Time Petri nets, as lack of atomicity causes some analysis problems like reach ability analysis. Literature review provides some approaches for achieving atomicity property, such as ´ASAP firing´, ´delay before firing´, and ´aging tokens´. This paper presents a new approach for achieving atomicity of tokens in Petri nets, the new approach uses ´virtual´ tokens. A realization of this approach on MATLAB platform called GPenSIM is also briefly described in this paper. The uniqueness of this paper is that the new approach follows nature - replicating what happens to token flow in real-life discrete event dynamic systems.