Modelling a sender-receiver system

In this paper we present a sender-receiver system with an unlimited buffer modelled by a jumping Petri net, and then we prove some properties of the system.

Elmentve itt :
Bibliográfiai részletek
Szerző: Vidraşcu Cristian
Dokumentumtípus: Cikk
Megjelent: 2003
Sorozat:Acta cybernetica 16 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12714
Leíró adatok
Tartalmi kivonat:In this paper we present a sender-receiver system with an unlimited buffer modelled by a jumping Petri net, and then we prove some properties of the system.
Terjedelem/Fizikai jellemzők:147-154
ISSN:0324-721X