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

Authors:
Ludwik Czaja
Affiliations:
University of Economics and Computer Science Vistula in Warsaw and University of Warsaw, Poland. lczaja@mimuw.edu.pl
Venue:
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Year:
2014

Citing 7
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Communicating sequential processes

Communications of the ACM
Generalizations of Petri Nets

Proceedings on Mathematical Foundations of Computer Science
Self-Modifying Nets, a Natural Extension of Petri Nets

Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Stratified Petri Nets

FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
Distributed Systems: Concepts and Design (4th Edition) (International Computer Science)

Distributed Systems: Concepts and Design (4th Edition) (International Computer Science)

Quantified Score

Hi-index	0.00

Visualization

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.