For the most recent entries see the
Petri Nets Newsletter.
Keyword: reactive systems
-
Bucci, Giacomo;
Fedeli, Andrea;
Sassoli, Luigi;
Vicario, Enrico:
Timed State Space Analysis of Real-Time Preemptive Systems.
2004.
-
Carmona, Josep;
Cortadella, Jordi:
Input/Output Compatibility of Reactive Systems.
2002.
-
Julliand, J.;
Masson, P.-A.;
Mountassir, H.:
Modular verification of dynamic properties for reactive systems.
1999.
-
Ebert, C.:
Experiences with colored predicate/transition nets for specifying and prototyping embedded systems.
1998.
-
Heiner, Monika:
Petri Net Based System Analysis without State Explosion.
1998.
-
Uchihira, N.;
Honiden, S.:
A high-level Petri net for accurate modeling of reactive and concurrent systems.
1996.
-
Masiero, P.C.;
Maldonado, J.C.;
Bonaventura, I.G.:
A reachability tree for statecharts and analysis of some properties.
1994.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography