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.