For the most recent entries see the
Petri Nets Newsletter
.
Keyword: reachability tree analysis
Anneberg, L.
;
Yaprak, E.
:
Local Area Network Implementation of Petri Net Reachability Analysis.
1991.
Cheul, Woo Ro
;
Dan, Keun Sung
:
Validation of TDX Protocols Using Extended Petri Nets.
1991.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography