Floating Channels Between Communicating Nets

Issue title: Concurrency, Specification and Programming

Article type: Research Article

Authors: Czaja, Ludwik

Affiliations: Academy of Finance and Business Vistula, Warsaw and Institute of Informatics, The University of Warsaw, Poland [email protected]

Note: [] Address for correspondence: Institute of Informatics, The University of Warsaw, Poland

Abstract: 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(p1, ..., pn) and receive(q1, ..., qm) commands, where pi, qj are names of ports of its interlocutors. Every such edge exits a transition emiting a request for send or receive message. 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.

DOI: 10.3233/FI-2014-1066

Journal: Fundamenta Informaticae, vol. 133, no. 2-3, pp. 123-132, 2014