For the most recent entries see the
Petri Nets Newsletter.
Keyword: protocol
-
Zaitsev, D.A.:
Verification of Protocol ECMA with Decomposition of Petri Net Model.
2004.
-
Nützel, Jürgen;
Fengler, Wolfgang:
Using Formal Technics for Fieldbus Protocol Implementation.
1995.
-
Chao, Daniel Y.;
Wang, David T.:
An interactive tool for design, simulation, verification, and synthesis of protocols.
1994.
-
Anisimov, N.A.:
A Notion of Entity Based On Petri Nets.
1991.
-
Prinoth, Rainer:
Beschreibungsmittel und Konzepte zur Realisierung verteilter Systeme: Überlegungen anhand von Produktnetzen.
1991.
-
Papp, G.:
Using Petri Nets for Modelling of Finite State Machines and Protocols.
1990.
-
Zuberek, W.M.:
On Extended Timed Petri Nets, Timeouts and Modelling of Protocols.
1985.
-
Diaz, Michel:
Petri Net Based Models for the Specification and Validation of Protocols.
1984.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography