Multiagent systems are characterized by decentralized control and agents that perform autonomous actions. The sequence of such actions are generally described by plans. An important issue in this context is how to verify the correctness of plans when agents have unpredicted actions. In this paper, formal modelling and verification guidelines to verify nondeterministic multiagent system plans are introduced. The guidelines are based on HCPN modelling, simulation, and model checking. The guidelines are conceptually introduced, and then applied for a multiagent intelligent tutoring system modelling and verification. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
De Almeida, H. O., Da Silva, L. D., Perkusich, A., & De Barros Costa, E. (2005). A formal approach for the modelling and verification of multiagent plans based on model checking and petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3390 LNCS, pp. 162–179). https://doi.org/10.1007/978-3-540-31846-0_10
Mendeley helps you to discover research relevant for your work.