Result Details

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.
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., FIT (FIT)
Abstract

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.

Keywords

Alternating bit protocol, ABP, PNtalk, case study.

URL
Published
2002
Pages
65–72
Proceedings
Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems
Series
Vol. I.
Conference
36th Spring International Conference MOSIS 2002 Modelling and Simulation of Systems
ISBN
80-85988-71-2
Publisher
Marq software s.r.o.
Place
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"
}
Projects
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research groups
Petri Nets Research Group (RG PETRINET)
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top