DocumentCode :
3232041
Title :
Modeling electronic institutions with extended colored Petri net
Author :
Cai, Guoyong ; Gao, Ji ; Huang, Yong
Author_Institution :
Zhejiang Univ., Hangzhou
Volume :
3
fYear :
2007
fDate :
July 30 2007-Aug. 1 2007
Firstpage :
1072
Lastpage :
1077
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.
Keywords :
Petri nets; multi-agent systems; autonomy agents; colored Petri net transducer; electronic institution; multiagent system engineering; Artificial intelligence; Distributed computing; Layout; Multiagent systems; Predictive models; Reliability engineering; Software engineering; Solids; Systems engineering and theory; Transducers;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on
Conference_Location :
Qingdao
Print_ISBN :
978-0-7695-2909-7
Type :
conf
DOI :
10.1109/SNPD.2007.126
Filename :
4288009
Link To Document :
بازگشت