… time Petri nets and formally define our notion of net equivalence. In Sect. 3, we define four
rules that reduce time Petri nets by … 4, we define rules that reduce time Petri nets by removing …

… , resource requirements, etc., for complex Petri nets. Our reduction rules are similar in …
to their work [9], [11], in that we reduce the TPN components to the same form of simple Petri …

… faced in net reduction for realtime systems, this paper proposes a new model, Delay Time
Petri nets (DTPNs), and a set of reduction rules to facilitate the analysis of real-time systems. …

… To be able to use a Petri net for modeling a given type of application, we must enrich it with
an … Reduction rules are transformation rules interesting for net analysis. When considered in …

… , we introduced reduction rules for EPCs in such a way that we can use a reduced EPC for
… In this section, we will translate the reduced EPC into a safe Petri net (ie a Petri net where a …

… Definition 4.3: Fix some rule for transforming a time Petri net N to a time Petri net NR• Let U
be the … We say that (reduced) net NR is equivalent to (original) net N after the transformation if …

… Chapter 4 addresses time Petri nets. The enumerative analysis technique and a set of
reduction rules for time Petri nets are presented; the compositional time Petri net models and their …

… Previously, we Petri net structural … Petri net theory, in this paper we consider how to reduce
the computation of deadlock analysis by use of another Petri net technique, net reduction. …

… resources, Petri nets are an … -time application like communication protocols or control
command applications. A standard approach is to modelize a real-time application in time Petri net (…

… the analysis of complex Petri net models, the Petri net reduction approach is being used. In
this paper, we also use the Petri net reduction approach to simplify very big Petri net models (…