For the most recent entries see the
Petri Nets Newsletter
.
Keyword: HDLC protocol
Ajmone Marsan, M.
;
Neri, F.
:
Modelling and Analysis of Telecommunication Protocols Using Petri Nets.
1990.
Anton, M. Duque
;
Bretschneider, M.
:
Formulas, Processes, and Petri Nets Applied to the Specification and Verification of a HDLC Protocol.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography