A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Modelling a Sender-Receiver System
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