DocumentCode
2194016
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
Volume
1
fYear
1998
fDate
11-14 Oct 1998
Firstpage
32
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.725379
Filename
725379
Link To Document