Modelling hybrid systems with Hypernets

Suggests a new graphic modelling tool, Hypernets, closely related to high level Petri nets (colored, predicate-transition). Hypernets semantics is based on point-to-set functions and constraint theories. The authors associate a graphical representation with a point-to-set representation of Hypernets. The reachability set is characterized by fixpoint semantics. The authors prove the correctness and the completeness of a nondeterminist semi-decision algorithm for the accessibility problem. This algorithm gives also fire sequences. High level Petri nets appear thus as a particular case of Hypernets. The authors have implemented a version of this algorithm for linear Hypernets in the ARIANE system, which is used to study the functioning of a paper mill. This approach is compared with methods using continuous Petri nets