For the most recent entries see the
Petri Nets Newsletter
.
Keyword: telecommunication protocol
Zaitsev, D.A.
:
Verification of telecommunication protocols using decomposition of Petri nets.
2005.
Zaitsev, D.A.
:
Decomposition of protocol ECMA.
2004.
Zaitsev, D. A.
:
Verification of Ethernet protocols.
2004.
Ajmone Marsan, M.
;
Neri, F.
:
Modelling and Analysis of Telecommunication Protocols Using Petri Nets.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography