Skip to Main Content
Usually, control of a large-scale real time system is performed by a combination of simple control rules (rulebase). With growing control rule-bases, new problems such as consistency among rules, and behavior of a physical system under the control, arise. For this reason, checking techniques for such problems are required. In this paper, we assume that a multi agent net, which is a hierarchical extended Petri net (T. Murata, Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989), model for physical system is given, and we propose a modeling technique for an integrated system model of control rule-bases and physical systems for verification.