Timed Arc Petri Nets: The time-element approach

摘要

In this work, a novel model is proposed for Deterministic Timed Arc Petri Nets. In the proposed Timed Arc Petri Net, transition firing processes are associated with time, where time is interpreted as firing delays, hence deterministic time-delays are assigned with arcs. In Timed Petri Nets with firing delay, corresponding tokens can become temporarily invisible and re-visible during the firing process of a transition. In order to overcome this temporary invisibility, a new triangular graphical element, namely time element, is introduced. This new time element allows user to observe temporarily invisible tokens and it depicts the whole firing process graphically.