For the most recent entries see the
Petri Nets Newsletter
.
Keyword: transport protocol
Sarkar, D.
;
Das, S.K.
;
Agrawal, V.K.
;
Patnaik, L.M.
:
A New Methodology for Analyzing Distributed Systems Modeled by Petri Nets.
1989.
Cousin, Bernard
:
Methodologie de validation des systemes structures en couches par reseaux de Petri: application au protocole transport.
1987.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography