For the most recent entries see the
Petri Nets Newsletter
.
Keyword: symbolic reachability graphs
Gallasch, Guy Edward
;
Billington, Jonathan
:
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.
2005.
Capra, L.
;
Dutheillet, C.
;
Franceschinis, G.
;
Ilie, J.M.
:
Towards performance analysis with partially symmetrical SWN.
1999.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography