For the most recent entries see the
Petri Nets Newsletter.
Keyword: symbolic model-checking
-
Thierry-Mieg, Yann;
Ilié, Jean-Michel;
Poitrenaud, Denis:
A Symbolic Symbolic State Space Representation.
2004.
-
Thierry-Mieg, Yann;
Dutheillet, Claude;
Mounier, Isabelle:
Automatic Symmetry Detection in Well-Formed Nets.
2003.
-
Cortes, L.A.;
Eles, P.;
Peng, Z.:
Formal coverification of embedded systems using model checking.
2000.
-
Strehl, Karsten;
Thiele, Lothar:
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.
1999.
-
Hirashi, K.;
Nakano, M.:
On symbolic model checking in Petri nets.
1995.
-
Rauhamaa, Marko:
A Comparative Study of Methods for Efficient Reachability Analysis.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography