Detail výsledku

A Case Study: Modelling Alternating Bit Protocol by PNtalk

KŘENA, B. A Case Study: Modelling Alternating Bit Protocol by PNtalk. Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I. Ostrava: Marq software s.r.o., 2002. p. 65-72. ISBN: 80-85988-71-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abstrakt

The alternating bit protocol (ABP) is a simple communication protocol that is able to cover unreliable mediums. ABP has been modelled in many modelling formalisms because it has most of important features of communication protocols although it is very simple. In this paper, we show one of possible models of ABP in modelling language called PNtalk that has been developed in our faculty.

Klíčová slova

Alternating bit protocol, ABP, PNtalk, case study.

URL
Rok
2002
Strany
65–72
Sborník
Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems
Řada
Vol. I.
Konference
36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems
ISBN
80-85988-71-2
Vydavatel
Marq software s.r.o.
Místo
Ostrava
BibTeX
@inproceedings{BUT9830,
  author="Bohuslav {Křena}",
  title="A Case Study: Modelling Alternating Bit Protocol by PNtalk",
  booktitle="Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems",
  year="2002",
  series="Vol. I.",
  pages="65--72",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-71-2",
  url="http://www.fit.vutbr.cz/~krena/prace/mosis02.ps"
}
Projekty
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Výzkumné skupiny
Pracoviště
Nahoru