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
            
        
                Křena Bohuslav, Ing., Ph.D., FIT (FIT)
            
        
                    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ě