Article ID: | iaor20001545 |
Country: | France |
Volume: | 32 |
Issue: | 2 |
Start Page Number: | 125 |
End Page Number: | 143 |
Publication Date: | Jan 1998 |
Journal: | RAIRO Operations Research |
Authors: | Proust C., Richard P. |
Keywords: | petri nets |
This paper presents an approach to solve scheduling problems from a Petri net model. A timed Petri net describes feasible sequences and schedules of operations. The net is then translated into a CHIP program. Build-in solver of the constraint logic programming language is used to solve the associated scheduling problem. The implementation of the OPTNET software and some results are described.