System modelling with HyperNets
Pascal Yim, A. Lefort, A. Hebrard · 2002
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.