학술논문
MINOS: a constraints based tool for the HyperNets
Document Type
Conference
Author
Source
Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence Tools with artificial intelligence Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on. :334-337 1995
Subject
Language
ISSN
1082-3409
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.