抄録
We propose a formalism for decentralized control of discrete event systems with communications. The formalism is based on PN2, a class of agent-oriented Petri nets proposed by the author. The main difference between PN2 and Petri nets is that each token, representing an agent, is also a Petri net. The decentralized control system to be modeled has the following featurs: (i) The system is asynchronous and has no global clock. (ii) Some events may occur concurrently. (iii) The system is controlled by several control agents, each of which perceives only a subset of occurring events, and can control only a subset of events. (iv) Each control agent can communicate with other agents. By communications, each agent can know occurrences ofevents that are not observable for it, and can ask other agents to disable events that are not controllable for it. Using the formalism, we define a problem concerning control synthesis.
