Keyword: communication protocol

• Baldassari, M.; Bruno, G.:
  PROTOB: an Object Oriented Methodology for Developing Discrete Event Dynamic Systems. 1991.

• Baldassari, Marco; Bruno, Giorgio:
  A Methodology and Environment for the Object Oriented Analysis and Design of Real Time Systems. 1990.

• Baldassari, M.; Bruno, G.:
  An Environment for Operational Software Engineering in Ada. 1990.

• Baumgarten, Bernd:
  Petri-Netze: Grundlagen und Anwendungen. 1990.

• Golovin, Yu.A.; Matveeva, V.A.:
  Automatic System for Investigation of Communication Protocols Using Enhancement of Petri Nets. 1990.

• Ho, C.; Forward, K.E.; Parker, K.R.:
  Automated Hardware Implementation of Computer Communication Protocols Using Petri Net Based Methods. 1990.

• Ho, C.; Parker, K.R.; Forward, K.E.:
  Petri Net Modeling for Hardware Implementation of Communication Protocols. 1990.

• Reda El Karaksy, M.; Nouh, A.S.; Al Obaidan, A.:
  Performance Analysis of Timed Petri Net Models for Communication Protocols: a Methodology and a Package. 1990.

• Souissi, Younes:
  Property Preservation by Composition of Petri Nets; Extension to FIFO Nets and Application to Communication Protocols. 1990.

• Suzuki, Ichiro:
  Specification and Verification of the Alternating Bit Protocol by Temporal Petri nets. 1990.

• Zompi, R.; Russi, V.:
  Rapid Prototyping through Graphical Operational Specification and Automated Code Generation. 1990.

• Suzuki, Ichiro:
  Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. 1990.

• van der Hoeven, A.J.; de Lange, A.A.J.; Deprettere, E.F.; Dewilde, P.M.:
  A Model for the High-Level Description and Simulation of VLSI Networks. 1990.

• Souissi, Y.:
  A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. 1990.

• Shatz, S.M.; Kajka, P.S.; Chauhan, A.S.:
  Formal Modeling and Automated Analysis of the LAPD Protocol. 1990.

• El-Karaksy, M. Reda; Nouh, Adnan S.; Al-Obaidan, Abdul Rahman:
  Performance Analysis of Timed Petri Net Models for Communication Protocols: a Methodology and a Package. 1990.

• Baldassari, Marco; Bruno, Giorgio; Russi, Vicenzo; Zompi, Roberto:
  PROTOB, a Hierarchical Object-Oriented CASE Tool for Distributed Systems. 1989.

• Behki, N.; Tavares, S.E.:
  An Integrated Approach to Protocol Design. 1989.

• Henderson, W.; Lucic, D.; Taylor, P.G.:
  A Net Level Performance Analysis of Stochastic Petri Nets. 1989.

• Shatz, S.M.; Suzuki, T.; Murata, Tadao:
  Automated Protocol Modeling and Verification Combining an Entity-Based Specification Language and Petri Nets. 1989.

• Souissi, Younes:
  Property Preservation by Compostiton of Petri Nets: Extension to FIFO Nets and Application to Communication Protocols. 1989.

• Zurawski, R.:
  Modelling Distributed Real-Time Systems for Performance Evaluation Using Timed Petri Nets. 1989.

• Belmesk, Zoubir:
  Methodologie de specification et de programmation des protocoles de communication avec le langage FP2. Cas etudie: le niveau liaison du protocole x25. 1988.

• Dimitrov, V.; Petkov, A.:
  Verification Oriented Estelle Specifications of Communication Protocols. 1988.

• Dimitrov, V.; Petkov, A.:
  Verification Oriented Estelle Specifications of Communication Protocols. 1988.

• Cousin, B.; Estraillier, P.:
  Study of the Resynchronisation of a Communication Protocol. 1987.

• Eckert, Hans; Prinoth, Rainer:
  Erfahrungen mit Netzen auf dem Gebiet der Verifikation von Kommunikationsprotokollen. 1983.

Back to the Petri Nets Bibliography