For the most recent entries see the
Petri Nets Newsletter
.
Keyword: protocol modelling
Floreani, D.
;
Billington, J.
;
Dadej, A.
:
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN.
1996.
Reze, P.
;
Rioux, P.
;
Beaufils, F.
:
ELSIR, un formalisme réseau de Petri adapte a la modelisation de systemes.
1991.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography