For the most recent entries see the
Petri Nets Newsletter.
Keyword: alternating bit protocol
-
Grahlmann, Bernd:
The PEP Tool.
1997.
-
Watanabe, T.;
Ohta, T.;
Sato, F.;
Mizuno, T.:
Protocol verification tool with extended Petri net and Horn clause.
1995.
-
Grahlmann, B.;
Moeller, M.;
Anhalt, U.:
A new Interface for the PEP tool - Parallel Finite Automata.
1995.
-
Anisimov, N.A.:
A Petri Net Entity as a Formal Model for LOTOS - A Specification Language for Distributed and Concurrent Systems.
1991.
-
Baumgarten, B.;
Ochsenschläger, P.;
Prinoth, R.:
A Short Comment.
1991.
-
Tao, Z.P.;
Goosens, M.:
Alternating-Bit Protocol Specification with High Level Petri Net --- A Modification.
1991.
-
Berthomieu, B.;
Diaz, M.:
Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
1991.
-
Lazar, Aurel A.;
Robertazzi, Thomas G.:
Markovian Petri Net Protocols with Product Form Solution.
1991.
-
Suzuki, Ichiro:
Specification and Verification of the Alternating Bit Protocol by Temporal Petri nets.
1990.
-
Suzuki, Ichiro:
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.
1990.
-
Wang, I.Y.;
Robertazzi, T.G.:
Service Stage Petri Net Models with Product Form Solution.
1990.
-
Baumgarten, Bernd:
The Alternating Bit Protocal (Revisited).
1990.
-
Desel, Jörg;
Reisig, Wolfgang;
Walter, Rolf:
The Alternating Bit Protocol: Fairness Versus Priority.
1990.
-
Lautenbach, Kurt:
Untersuchung der Anwendbarkeit von Invarianten auf die Verifikation eines Kommunikationsprotokolls gegen berandende Dienste.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography