For the most recent entries see the
Petri Nets Newsletter.
Keyword: modular verification
-
Klai, Kais;
Haddad, Serge;
Ilie, Jean-Michel:
Modular Verification of Petri Nets Properties: A Structure-Based Approach.
2005.
-
Julliand, J.;
Masson, P.-A.;
Mountassir, H.:
Modular verification of dynamic properties for reactive systems.
1999.
-
Damm, Werner;
Döhmen, Gert;
Gerstner, Volker;
Josko, Bernhard:
Modular Verification of Petri Nets: The Temporal Logic Approach.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography