For the most recent entries see the
Petri Nets Newsletter
.
Keyword: protocol verification
Brzezinski, J.
;
Sajkowski, M.
:
Detection of livelocks in communication protocols by means of a polygon time structure.
2000.
Jirachiefpattana, Ajin
;
Lai, Richard
:
An NPN system for Estelle verification.
1996.
Watanabe, T.
;
Ohta, T.
;
Sato, F.
;
Mizuno, T.
:
Protocol verification tool with extended Petri net and Horn clause.
1995.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography