|
RELATIONSHIPS BETWEEN PETRI NETS AND CONSTRAINT GRAPHS: APPLICATION TO MANUFACTURING
Catherine Mancel* Pierre Lopez** Nicolas Rivière** Robert Valette**
* IXI, 76 rue de la Colombette, F-31000 Toulouse and LAAS-CNRS,
F-31077 Toulouse Cedex 4
** LAAS-CNRS, F-31077 Toulouse Cedex 4
The purpose of the paper is to compare timed and time Petri nets with constraint satisfaction problems and activity-on-arc graphs in the context of manufacturing. It is shown that constraints are not defined in the same way but that timed and time Petri nets could be translated into a set of activity-on-arc graphs.
Keywords: Constraint Satisfaction Problems, time Petri nets, timed Petri nets, Manufacturing
Session slot T-Mo-A07: Petri Nets Modelling, Analysis and Synthesis of Manufact/Area code 3c : Discrete Event Dynamic Systems
 | 