Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication

Issue title: Dedicated to the Memory of Professor Manfred Kudlek

Article type: Research Article

Authors: Czaja, Ludwik

Affiliations: University of Economics and Computer Science Vistula in Warsaw and University of Warsaw, Poland. lczaja@mimuw.edu.pl

Note: [] Address for correspondence: University of Economics and Computer Science Vistula in Warsaw, Poland

Abstract: Petri net structures are used as communication model of network systems where message transfer channels are represented by the nets' edges, communicating agents - by nets' places and actions of communication - by nets' transitions, which here are called transmissions. The role of (structured) tokens play send/receive statements, that arrive at random, which makes the distribution of edges change dynamically. In this sense a net is self-modyfying: although the set of agents-places is fixed, the channels and communicating actions vary in the course of the net activity. Problems of deadlock and fairness is investigated.

DOI: 10.3233/FI-2014-958

Journal: Fundamenta Informaticae, vol. 129, no. 1-2, pp. 27-36, 2014