Notice of RetractionA method for computing global delays of Time Petri Nets

Notice of Retraction

After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.

We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.

The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.

State class methods are a fundamental and most widely applied technique for timing analysis of Time Petri Nets (TPNs). However, the existing state class methods are not suitable for the computation of global time delay, which is an important issue for real-time systems. This paper presents a state class method for the analysis and verification of global time properties in TPNs that addresses the problem. Our method adopts a global time mode, which can efficiently evaluate global time stamps of state classes. This benefits from the introduction of a special reference transition, called zero transition, whose global firing time is always set to zero. We also decompose firing rules into several basic operations. The separation facilitates the introduction of new operations and brings us more flexibility.