Resumen de Redes de Petri y protocolos de comunicación

Pere Guitart Colom, Josep M. Basart i Muñoz

• español

  Partiendo de los principales elementos que conforman el modelo de Petri y de los requisitos necesarios para el diseño, el análisis y la implementación de protocolos de comunicación, se delimitan las posibilidades que afrecen las redes de Petri en esta área. La modelización mediante redes de Petri del Alternating bit protocol y su análisis posterior -basado en el método de los invariantes- permiten demostrar el correcto funcionamiento del protocolo e ilustran las posibilidades y limitaciones de esta técnica de análisis estructural.

• English

  Starting with the essential elements of the Petri net model and its requirements for the design, analysis and implementation of computer protocols, this paper recalls the capabilities that Petri nets offer in this area. The Petri net based modelling of the Alternating bit protocol and its subsequent analysis -based on the invariants method-, allow us to prove the correctness of the protocol and offers a general view on the advantages and disadvantages of these structural analysis techniques.