Modelling a sender-receiver system

  • Authors:

  • Cristian Vidraşcu

  • Affiliations:

  • Faculty of Computer Science, "Al. I. Cuza" University of Iasi, România

  • Venue:
  • Acta Cybernetica
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.