Paper Info
Title
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets
Abstract
Multi-agent systems are composed by many independent agents where the task of some of themmay depend on the task of others. In this work we present a generic Stochastic Petri Netmodel for agents and illustrate the usage of a sound, complete and decidable logic systemto verify properties in multi-agent systems modelled as Stochastic Petri Nets: the DS3 logic. This logic takes advantage of the intuitive graphical interpretation of Petri Nets, allowing the user to model the behaviour of agents and their interactions by means of nets (i.e. seen Petri Nets as graphs). Our approach leads not only to a usual place-transition connection provided by Petri-nets underlying graphs modelling, such as the verification of properties and validation of agents, but also regards the verification of properties concerning their behaviour inside an environment.
Year
DOI
Venue
2015
10.1007/978-3-319-19629-9_9
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS AND SUSTAINABILITY: THE PAAMS COLLECTION
Field
DocType
Volume
Graph,Petri net,Computer science,Stochastic Petri net,Theoretical computer science,Decidability,Process architecture,Multi-agent system,Dynamic logic (digital electronics)
Conference
372
ISSN
Citations 
PageRank 
2194-5357
3
0.44
References 
Authors
13
3
Name
Order
Citations
PageRank
Bruno Lopes1144.40
Mario R. F. Benevides214323.75
Edward Hermann Haeusler310233.20