System modelling with HyperNets

Author

Yim, P. ; Lefort, A. ; Hébrard, A.

Author_Institution

CNRS, Villeuneuve d´´Ascq, France

Volume

1

fYear

1995

fDate

10-13 Oct 1995

Firstpage

37

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 non-determinist semi-decision algorithm for the accessibility problem is proved. This algorithm also gives fire 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

Keywords

Petri nets; constraint handling; constraint theory; modelling; production control; reachability analysis; semantic networks; HyperNets; MINOS system; accessibility problem; completeness; constraint logic programming; constraint theory; correctness; fire sequences; fixed-point semantics; graphical modelling tool; high level Petri nets; non-determinist semi-decision algorithm; point-to-set functions; production system modelling; reachability set; Constraint theory; Databases; Fires; Performance analysis; Petri nets; Power supplies; Power system modeling; Production systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 1995. ETFA '95, Proceedings., 1995 INRIA/IEEE Symposium on

Conference_Location

Paris

Print_ISBN

0-7803-2535-4

Type

conf

DOI

10.1109/ETFA.1995.496761

Filename

496761