Title :
MINOS: a constraints based tool for the HyperNets
Author :
Yim, Pascal ; Lefort, Arnaud ; Hebrard, Agnès
Author_Institution :
CNRS, Villeneuve d´´Ascq, France
Abstract :
The authors propose a new graphical modelling tool HyperNets, closely related to high level Petri nets (coloured, predicate transition). HyperNets semantics is based on point to set functions and constraint theories. We associate a graphical representation to a point to set representation of HyperNets. The reachability set is characterized by fixed point semantics. The correctness and completeness of a nondeterministic semi decision algorithm for the accessibility problem is proved. This algorithm also gives five sequences. High level Petri nets then appear as a particular case of HyperNets. We have implemented a version of this algorithm for linear HyperNets in the MINOS system. Then the representation of a classical artificial intelligence problem is proposed: we show its HyperNets representation, and its MINOS simulation
Keywords :
Petri nets; computer graphics; constraint handling; constraint theory; program verification; HyperNets representation; HyperNets semantics; MINOS; accessibility problem; classical artificial intelligence problem; completeness; constraint theories; constraints based tool; correctness; fixed point semantics; graphical modelling tool; graphical representation; high level Petri nets; nondeterministic semi decision algorithm; point to set functions; predicate transition; reachability set; set representation; Constraint theory; Containers; Databases; Equations; Fires; Performance analysis; Petri nets; Power supplies; Power system modeling; Telephony;
Conference_Titel :
Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-7312-5
DOI :
10.1109/TAI.1995.479650
