Title :
System modelling with HyperNets
Author :
Yim, P. ; Lefort, A. ; Hébrard, A.
Author_Institution :
CNRS, Villeuneuve 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 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;
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
DOI :
10.1109/ETFA.1995.496761
