Modelling a Sender-Receiver System

Cristian Vidrascu
2003 Acta Cybernetica  
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.
dblp:journals/actaC/Vidrascu03 fatcat:ria5dkbdz5hlrn2uoeupkkywba