Model checking multi-agent systems with logic based Petri nets

DOI10.1007/s10472-008-9092-7zbMath1137.68054OpenAlexW2030005410MaRDI QIDQ2426108

Jürgen Dix, Tristan M. Behrens

Publication date: 21 April 2008

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-008-9092-7

zbMATH Keywords

Petri netsModel checkingVerificationConcurrencyAgent oriented programming

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)

Related Items (1)

Where logic and agents meet

Uses Software

• SPIN
• Smodels
• PEP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A predicate-transition net model for parallel interpretation of logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Bounded LTL model checking with stable models
• The Petri net kernel. An infrastructure for building Petri net tools

This page was built for publication: Model checking multi-agent systems with logic based Petri nets