Abstract. This paper presents a real-time property specific reduction approach for Time Petri Net (TPN). It divides TPN models into sub-nets.

Jan 29, 2016 · This paper presents a real-time property specific reduction approach for Time Petri Net (TPN). It divides TPN models into sub-nets of ...

Bibliographic details on Real-Time Property Specific Reduction for Time Petri Net.

Abstract—Time Petri nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A fundamental and most widely applied ...

Many different formalisms have been proposed which extend Petri nets with clocks and real-time constraints, leading to various definitions of Timed Petri nets ( ...

Abstract: We present a new net-reduction methodology to facilitate the analysis of real-time systems using Delay Time Petri Nets (DTPNs).

Theorem 4.7: The component-level reduction rule 2 is timing property preserving. Proof. Since portl' = port2', portl and port2 share the same output ...

In this paper, we extend several rules for the reduction of ordinary. Petri nets to work with time Petri nets. We introduce a notion of.

A timed-arc Petri net with an arbitrary marking can be graphically repre- sented by extending the usual representation of P/T nets with the corresponding time ...

Apr 25, 2022 · This paper proposes an alternative dynamic slicing algorithm written as a metric temporal logic (MTL) formula to reduce the size of the time Petri net model.