For the most recent entries see the
Petri Nets Newsletter
.
Keyword: symmetry method
Varpaaniemi, Kimmo
:
On Computing Symmetries and Stubborn Sets.
1994.
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