MINOS: a constraints based tool for the HyperNets

Author

Yim, Pascal ; Lefort, Arnaud ; Hebrard, Agnès

Author_Institution

CNRS, Villeneuve d´´Ascq, France

fYear

1995

fDate

5-8 Nov 1995

Firstpage

334

Lastpage

337

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on

Conference_Location

Herndon, VA

ISSN

1082-3409

Print_ISBN

0-8186-7312-5

Type

conf

DOI

10.1109/TAI.1995.479650

Filename

479650