For the most recent entries see the
Petri Nets Newsletter.
Keyword: reactive system
-
Heiner, Monika;
Deussen, P.:
A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets.
1996.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Design and Analysis of Reactive Systems.
1996.
-
Desel, Jörg;
Esparza, Javier:
Reachability in Reversible Free Choice Systems.
1991.
-
Buchs, Didier;
Guelfi, Nicolas:
System Specification Using CO-OPN.
1991.
-
Damm, Werner;
Döhmen, Gert;
Gerstner, Volker;
Josko, Bernhard:
Modular Verification of Petri Nets: The Temporal Logic Approach.
1990.
-
Menon, S.R.;
Ferreira, P.M.;
Kapoor, S.G.:
A Colored Petri Net System for Simulation and Control of FMSs.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography