Floating Channels Between Communicating Nets

• Autorzy: Czaja L.

Identyfikatory

DOI

10.3233/FI-2014-1066

• Języki publikacji: EN

Abstrakty

EN

A network system is given as a set of Petri net-like structures called agents. Each agent has a singled out place interpreted as a communication port with ingoing edges labelled with send(p₁, ..., p_n) and receive(q₁, ..., q_m) commands, where p_i, q_j are names of ports of its interlocutors. Every such edge exits a transition emiting a request for send or receivemessage. A transmission channel between the agent and its intelocutors is established when its port holds a send or receive command, while ports of its interlocutors hold respective (matching) communication commands. This gives rise to communication between the agent and its interlocutors, after which the channel is disrupted: hence floating channels. Some behavioural properties of such network system are examined, their decision complexity, deadlock and fairness in their number.

Słowa kluczowe

EN

Petri nets; data structures; decision making; computational complexity; data transmission system

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2014
• Tom: Vol. 133, nr 2/3
• Strony: 123--132
• Opis fizyczny: Bibliogr. 10 poz., rys., tab.

Twórcy

autor

Czaja L.

• Academy of Finance and Business Vistula, Warsaw
• Institute of Informatics, The 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., Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication, Fundamenta Informaticae, to appear.
• [3] Esparza J., Decidability and Complexity of Petri Net Problems - An Introduction, Lecture Notes in Computer Science, Vol. 1491, 1998, pp. 374-428.
• [4] Hoare C.A.R., Communicating Sequential Processes, Comm. of the ACM, Vol 21, pp. 666-677, 1978.
• [5] Hoare C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985.
• [6] König D., Über eine Schlussweise aus dem Endlichen in Umendliche, Acta Litt. Ac. Sci. Hung. Fran. Josep. 3 (1927), pp. 121-130.
• [7] INMOS Limited: OCCAM Programming Manual, Prentice-Hall, 1984.
• [8] Reisig W., Petri Nets, An Introduction, EATC Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
• [9] Valk R., Self-Modifying Nets, a Natural Extension of Petri Nets, Icalp’78, Lecture Notes in Computer Science vol. 62 (1978), pp. 464-476.
• [10] Valk R., Generalization of Petri Nets, MFCS’81 Lecture Notes in Computer Science vol. 118 (1981), pp. 140-155.