For the most recent entries see the
Petri Nets Newsletter
.
Keyword: partial-order reduction
Kristensen, L. M.
;
Schmidt, K.
;
Valmari, A.
:
Question-guided stubborn set methods for state properties.
2006.
Tomisaka, M.
;
Yoneda, T.
:
Partial order reduction in symbolic state space traversal using ZBDDs.
1999.
Bystrov, A.V.
;
Virbitskaite, I.B.
:
Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool.
1997.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography