No abstract

Abstract. An alternative approach to modelling and analysis of interactions among agents in multiagent systems (MAS) and their control is presented in analytical terms. The reachability graph of the Petri net (PN)-based model of MAS is found as well as the space of feasible states. Trajectories representing the interaction processes among agents in MAS are computed by means of the mutual intersection of both the straightlined reachability tree (from a given initial state towards the terminal one) and the backtracking reachability tree (from the desired terminal state towards the initial one however, oriented towards the terminal state). Control interferences are obtained on base of the most suitable trajectory chosen from the set of feasible ones.

An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in this paper. The approach is based on Petri nets (PN) defined in [12] and directed graphs (DG) described in [11]. It is supported by the previous author's works [1]-[10], [13].