Title :
Use of constraints in Petri nets and their novel applications
Author :
Boutet, Frédéric ; Motet, Gilles ; Kubek, Jean-Marie
Author_Institution :
Inst. Nat. des Sci. Appl., Toulouse, France
Abstract :
Deals with Petri net-based formalisms that formally handle constraints by means of the constraint logic programming framework. Studies on such high-level nets lead to the design of a general tool for modelling and solving different problems arising in system design. We present applications to hybrid and real-time systems, and to flexible constraint satisfaction problems.
Keywords :
Petri nets; constraint handling; constraint theory; Petri net-based formalisms; constraint handling; constraint logic programming framework; flexible constraint satisfaction problems; hybrid systems; real-time systems; Constraint theory; Control systems; Electric variables control; Electronic mail; Equations; Helium; Logic programming; Petri nets; Real time systems; System testing;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725379
