Title :
Structuration of large scale Petri nets: an association with higher level formalisms for the design of multi-agent systems
Author :
Estraillier, Pascal ; Kordon, Fabrice
Author_Institution :
Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
Abstract :
Our approach recommends using formal methods to verify the significant properties of multi-agent systems. This paper introduces our approach for the design and specification process, the formal description techniques, the generation of executable distributed prototypes of distributed cooperative environments. We focus our proposal on the cooperative part of the agents and not on the cognitive ones. Our purpose is to transform the high-level specification of these kinds of systems into the uniform high level Petri net formalism while retaining the original system semantics. One advantage is that agents as well as Petri nets are independent from the underlying target architecture for which prototyping is performed
Keywords :
Petri nets; cooperative systems; distributed algorithms; software prototyping; distributed cooperative environments; executable distributed prototypes; formal description techniques; higher level formalisms; large scale Petri nets; multi-agent systems; prototyping; uniform high level Petri net formalism; Bonding; Design engineering; Fault tolerant systems; Large-scale systems; Logic; Multiagent systems; Petri nets; Proposals; Prototypes; Resource management;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.561498