Paper Info
Title
Modeling electronic institutions with extended colored Petri net
Abstract
One of the most fundamental challenges in multi-agent system engineering is to enable predictable and reliable interaction amongst group of autonomy agents. Electronic Institution (EI) has been proposed as an important framework to deal with these challenges. A colored Petri net transducer (CPNt) approach is presented to represent an EI visually and formally. With existing CPN tools, an EI model can be simulated and verified automatically. Validated EI model serves as a fundamental mechanism to influence and constraint interactive behaviors of autonomy agents. As a result, predictable and reliable multi-agent system can be obtained. Comparing with other approaches, this approach has solid theoretic basis as it is extended from Petri net. Therefore existing engineering methodology of Petri net can be adapted to engineering electronic institution conveniently. A simple example is applied to illustrate the whole process of the proposed approach.
Year
DOI
Venue
2007
10.1109/SNPD.2007.366
SNPD (3)
Keywords
Field
DocType
reliable interaction,fundamental challenge,fundamental mechanism,validated ei model,ei model,engineering electronic institution,autonomy agent,multi-agent system engineering,engineering methodology,petri net,petri nets,multi agent systems,multi agent system
CPN Tools,Petri net,Computer science,Colored petri,Process architecture,Multi-agent system,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-2909-7
1
0.39
References 
Authors
11
3
Name
Order
Citations
PageRank
Guoyong Cai15114.50
Ji Gao2198.29
Yong Huang342.47