For the most recent entries see the
Petri Nets Newsletter
.
Keyword: reduction by equivalence and symmetry
Jørgensen, J. B.
;
Kristensen, L. M.
:
Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes.
2003.
Jørgensen, Jens Bæk
;
Kristensen, Lars Michael
:
Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes.
1997.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography