For the most recent entries see the
Petri Nets Newsletter.
Keyword: communication protocols
-
Yakovlev, Alex;
Furber, Steve;
Krenz, René;
Bystrov, Alexandre:
Design and Analysis of a Self-Timed Duplex Communication System.
2004.
-
Jørgensen, J. B.;
Kristensen, L. M.:
Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes.
2003.
-
Brzezinski, J.;
Sajkowski, M.:
Detection of livelocks in communication protocols by means of a polygon time structure.
2000.
-
Capek, J.;
Hanzalek, Z.:
STPN model of physical and MAC layer of LonWorks.
2000.
-
Lakos, C.;
Lamp, J.:
The incremental modeling of the Z39.50 protocol with object Petri nets.
1999.
-
Kahlouche, H.;
Girardot, J.-J.:
Design if the ISO Class 0 transport protocol: a stepwise refinement based approach.
1997.
-
Jørgensen, Jens Bæk;
Kristensen, Lars Michael:
Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes.
1997.
-
Anisimov, N.A.;
Koutny, M.:
Compositional Petri Nets in Protocol Engineering.
1997.
-
Anisimov, N.A.;
Koutny, M.:
On compositionality and Petri nets in protocol engineering.
1996.
-
Bause, F.;
Kabutz, H.;
Kemper, P.;
Krintzinger, P.:
SDL and Petri net performance analysis of communicating system.
1996.
-
Kelling, C.;
Henz, J.;
Hommel, G.:
Design of a communication scheme for a distributed controller architecture using stochastic Petri nets.
1995.
-
Lai, R.:
Formal specification and verification of a procedural protocol - a case study.
1995.
-
Suzuki, H.;
Tsuji, K.;
Araki, T.;
Takahashi, O.;
Yoshitake, S.:
A method to validate the correctness of test logic programs applied in a protocol conformance test systems using Petri nets.
1994.
-
Wang, F.Y.;
Gildea, K.;
Jungnitz, H.;
Chen, D.D.:
Protocol design and performance analysis for manufacturing message specification - a Petri net approach.
1994.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography