| 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.