Decentralized Control of Multi-agent Systems Based on Modal Logics and Extended Higher Order Petri Nets

Katai, Osamu; Toda, Kentaro; Kawakami, Hiroshi

doi:10.1007/3-540-45336-9_22

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2013

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While the PN formalism has been used in the domain of Multi-agent systems as presented in [13], [14], [15], [16], [17], these works have been focused on the modeling and analysis of agent behavior. In contrast, in this paper we present a method which supports the direct integration into applications of the PNs which implement agent behavior.…”

Section: Introductionmentioning

confidence: 99%

Petri Net based agent behavior definition and execution for Multi-agent Systems

Tarnauca

Puiu

Petrescu

et al. 2013

2013 17th International Conference on System Theory, Control and Computing (ICSTCC)

View full text Add to dashboard Cite

The paradigm of Multi-agent Systems has been developed targeting scenarios with multiple actors involved in complex interactions. The nature of agent behaviors and their interactions often requires elaborate models which have to be developed, analysed and tested. This paper addresses the issue of behavior modeling for Multi-agent Systems by using the Petri Net formalism. It also describes an implementation based on the PetriNetExec Java embeddable library which supports the definition and execution of Petri Net based behaviors. The evaluation of our solution has been performed through the integration into the CoReMo simulator, a tool which we have developed in order support the research, development and evaluation of new control and monitoring solutions in actor rich, mobile environments.

show abstract