caa a22 4500 463187016 CHVBK 20180406164856.0 cr unu---uuuuu 170326e20071201xx s 000 0 eng 10.1007/s10472-008-9092-7 doi (NATIONALLICENCE)springer-10.1007/s10472-008-9092-7 Model checking multi-agent systems with logic based Petri nets [Elektronische Daten] [Tristan Behrens, Jürgen Dix] We introduce a class of Petri nets, simple logic Petri nets (SLPN), that are based on logical expressions. We show how this type of nets can be efficiently mapped into logic programs with negation: the corresponding answer sets describe interleaved executions of the underlying nets (Theorem1). The absence of an answer set indicates a deadlock situation. We also show how to correctly model and specify AgentSpeak agents and multi-agent systems with SLPN's (Theorem2). Both theorems allow us to solve the task of model checking AgentSpeak multi-agent systems by computing answer sets of the obtained logic program with any ASP system. Springer Science+Business Media B.V., 2008 Verification nationallicence Model checking nationallicence Petri nets nationallicence Agent oriented programming nationallicence Concurrency nationallicence Behrens Tristan Department of Informatics, Clausthal University of Technology, Julius-Albert-Straße 4, 38678, Clausthal, Germany aut Dix Jürgen Department of Informatics, Clausthal University of Technology, Julius-Albert-Straße 4, 38678, Clausthal, Germany aut Annals of Mathematics and Artificial Intelligence Springer Netherlands 51/2-4(2007-12-01), 81-121 1012-2443 51:2-4<81 2007 51 10472 https://doi.org/10.1007/s10472-008-9092-7 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10472-008-9092-7 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Behrens Tristan Department of Informatics, Clausthal University of Technology, Julius-Albert-Straße 4, 38678, Clausthal, Germany aut NATIONALLICENCE 700 1- Dix Jürgen Department of Informatics, Clausthal University of Technology, Julius-Albert-Straße 4, 38678, Clausthal, Germany aut NATIONALLICENCE 773 0- Annals of Mathematics and Artificial Intelligence Springer Netherlands 51/2-4(2007-12-01), 81-121 1012-2443 51:2-4<81 2007 51 10472 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer