For the most recent entries see the
Petri Nets Newsletter.
Keyword: symbolic reachability graph
-
Thierry-Mieg, Yann;
Ilié, Jean-Michel;
Poitrenaud, Denis:
A Symbolic Symbolic State Space Representation.
2004.
-
Chiola, G.;
Dutheillet, C.;
Franceschinis, G.;
Haddad, S.:
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.
1993.
-
Chiola, Giovanni;
Dutheillet, Claude;
Franceschinis, Guiliana;
Haddad, Serge:
On Well-Formed Coloured Nets and their Symbolic Reachability Graph.
1990.
-
Chiola, G.;
Dutheillet, C.;
Franceschinis, G.;
Haddad, S.:
Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography