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

• Autorzy: Czaja L.

Identyfikatory

DOI

10.3233/FI-2014-958

• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

multicasting; mathematical models; telecommunication; Petri nets; distribution; problem solving

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2014
• Tom: Vol. 129, nr 1/2
• Strony: 27--36
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Czaja L.

• University of Economics and Computer Science Vistula in Warsaw and University of Warsaw, Poland

Bibliografia

• [1] Badouel E., Darondeau P.: Stratified Petri Nets, FCT’97, Lecture Notes in Computer Science vol. 1279(1979), pp. 117-128.
• [2] Czaja L.: Deadlock and Fairness in Parallel Schemmas: a Set-Theoretic Charactrerization and Decision Problems, Information Processing Letters, vol. 10, number 4,5 (1980).
• [3] Coulouris G, Dollimore J, Kindberg T: Distributed Systems. Concepts and Design. AddisonWesley, Editions:1988, 1994, 1995, 1996, 2005.
• [4] Hoare C.A.R.: Communicating Sequential Processes, Comm. ACM 21(8) (1978) 666–677.
• [5] Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Comm. ACM 21(7) (1978)558–565.36 L.
• [6] Petri C.A.: Fundamentals of a Theory of Asynchronous Information Flow. Information Processing 1962, Proceedings of the IFIP Congress 62, Munich, North Holland Publishing Company, Amsterdam (1962) pp.386-390.
• [7] Reisig W.: Petri Nets, An Introduction, EATC Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
• [8] Valk R.: Self-Modifying Nets, a Natural Extension of Petri Nets, Icalp’78, Lecture Notes in Computer Science, vol. 62 (1978), pp. 464-476.
• [9] Valk R.: Generalization of Petri Nets, MFCS’81 Lecture Notes in Computer Science vol. 118 (1981), pp.140-155.