Solving scheduling problems using Petri nets and constraint logic programming
RAIRO - Operations Research - Recherche Opérationnelle, Tome 32 (1998) no. 2, pp. 125-143.
@article{RO_1998__32_2_125_0,
     author = {Richard, P. and Proust, C.},
     title = {Solving scheduling problems using {Petri} nets and constraint logic programming},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {125--143},
     publisher = {EDP-Sciences},
     volume = {32},
     number = {2},
     year = {1998},
     mrnumber = {1628989},
     language = {en},
     url = {http://archive.numdam.org/item/RO_1998__32_2_125_0/}
}
TY  - JOUR
AU  - Richard, P.
AU  - Proust, C.
TI  - Solving scheduling problems using Petri nets and constraint logic programming
JO  - RAIRO - Operations Research - Recherche Opérationnelle
PY  - 1998
SP  - 125
EP  - 143
VL  - 32
IS  - 2
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/RO_1998__32_2_125_0/
LA  - en
ID  - RO_1998__32_2_125_0
ER  - 
%0 Journal Article
%A Richard, P.
%A Proust, C.
%T Solving scheduling problems using Petri nets and constraint logic programming
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 1998
%P 125-143
%V 32
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/item/RO_1998__32_2_125_0/
%G en
%F RO_1998__32_2_125_0
Richard, P.; Proust, C. Solving scheduling problems using Petri nets and constraint logic programming. RAIRO - Operations Research - Recherche Opérationnelle, Tome 32 (1998) no. 2, pp. 125-143. http://archive.numdam.org/item/RO_1998__32_2_125_0/

R. L. Ackoff, Optimization + objectivity = opt out, European Journal of Operational Research, 1977, 1. | Zbl

A. Aggoun and N. Beldeceanu, Extending CHIP in order to solve complex scheduling and placement problems, Mathematical and computer modelling, 1993, 17, (7), pp. 57-73.

K. R. Baker, Introduction to sequencing and scheduling, John Wiley & Sons.

A. Bauer, R. Bowden, J. Browne, J. Duggan and G. Lyons, Shop floor Control Systems - From design to implementation, 1991, Chapman & Hall.

P. Baptiste, C. H. Cho, J. Favrel et M. Zouhri, Une caractérisation analytique des ordonnancements admissibles sous contraintes hétérogènes en flow-shop, RAIRO-APII, 1991, 25, pp. 87-102. | Zbl

P. Baptiste, B. Legeard and H. Zidoum, Sequences constraint solver based on P-Q-R trees, ILPS'94, New York, 1994, 14 p.

J. Carlier and P. Chrétienne, Problèmes d'ordonnancement (modélisation/complexité/algorithmes), Masson, collection Études et Recherche en Informatique, 1987. | MR

J. Carlier and P. Chrétienne, Timed Pétri net Schedules, Advances on Petri nets, 1988, Springer Verlag. | MR | Zbl

C. Cavalier, N. Jacquet and P. Richard, Problèmes d'ordonnancement en Flowshop: Réseaux de Petri et PLC, Rapport de Projet de Fin d'études de l'École d'Ingénieurs en Informatique pour l'Industrie (E31), Université de Tours, 1995, France.

C. W. Cheng, T. H. Sun and L. C. Fu, Petri net based modelling and scheduling of flexible manufacturing system, IEEE International Conference on Robotics and Automation, 1994, pp. 513-520. | Zbl

P. Chrétienne, Réseaux de Petri temporisés, thèse d'état, Paris VI, 1983.

F. Chu, J. M. Proth and V. M. Savi, Ordonnancement basé sur les réseaux de Petri, Rapport de Recherche INRIA, 1993, n° 1960.

A. Colmerauer, An introduction to Prolog III, Communications of the ACM, 1990, 33, (7), pp. 69-90. | Zbl

Cosytec, 1993, CHIP V4, user manual, Cosytec.

F. Dicesare, G. Harhalakis, J.-M. Proth, M. Silva and F. B. Vernadat, Practice of Petri nets in manufacturing Systems, Chapman et Hall, 1993.

R. Foure D. M. Gay and B. W. Kernighan, AMPL: A Modelling language for mathematical programming, The scientific Press, 1993. | Zbl

S. French, Sequencing and scheduling: an introduction to the mathematics of the Job-Shop, Ellis Horwood, 1982. | MR | Zbl

GOThA (Groupe d'Ordonnancement Théorique et Appliquée), Les problèmes d'ordonnancement, RAIRO-Operations Research, 1993, 27, (1), pp.77-150.

H. Hillion and J.-M. Proth, Performance evaluation of job-shop Systems using timed event graphs, IEEE Transactions on Automatic Control, 1989, 34, (1), pp. 3-9. | MR | Zbl

IJPR, International Journal of Production Research, Special Artificial intelligence in manufacturing, 1988, 26, (5).

S. Julia R. Valette and M. Tazza, Analysis of the behavior of a manufacturing cell with cyclic feeding policies, IEEE-SMC, San Antonio, 1994, pp. 1683-1688.

S. M. Johnson, Optimal two- and three-stage production schedules with setup times included, Naval Research Logistic Quality, 1954, 1, (1), pp.61-68.

E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooy Kan and D. B. Shmoys, Sequencing and Scheduling: algorithms and complexity, Report BS-R8909, Center for Mathematics and Computer Science, Amsterdam, The Netherlands, 1989.

D. Y. Lee and F. Dicesare, Scheduling flexible manufacturing Systems using petri nets, and heuristic search, IEEE transactions on robotics and automation, 1994, 10, (2), pp. 123-132.

C. Le Pape, Programmation par contraintes et ordonnancement : historique et perspectives, Tutorial, 9e Congrès Reconnaissance des Formes et Intelligence Artificielle, Paris, France, 1994a.

C. Le Pape, Implementation of resource constraints in Ilog Schedule: a library for the development of constraint-based scheduling Systems, Intelligent Systems Engineering, 1994b, 3, pp. 55-66.

M.-L. Levy, P. Lopez and B. Pradin, Characterization of feasible schedules for the flowshop problem: a decomposition approach, INRIA European Workshop on Integrated manufacturing Systems Engineering (IMSE'94), Grenoble, 1994, pp. 307-315.

A. Munier, Régime asymptotique des graphes d'événements temporises généralisés : application à un problème d'assemblage, RAIRO-APII, 1993, 27, (5), pp. 487-513. | Zbl

T. Murata, Petri nets: Properties, Analysis and Applications, Proceedings of the IEEE, 1989, 77, (4), pp.541-580.

J.-M. Proth and X. Xie, Les réseaux de Petri pour la conception et la gestion des systèmes de production, Masson, Paris, 1994.

C. Proust, Using Johnson's algorithm for solving flow-shop scheduling problems, Proceedings of the summer school on Scheduling Theory and its Application, INRIA, Bonnas, 1992.

C. Ramchandani, Analysis of asynchronous concurrent Systems by timed Petri nets, Ph. D. Thesis, MIT, Cambridge, Project MAC-TR 120, 1974.

P. Richard, J. L. Bouquard and C. Proust, Resolution of scheduling problems by modelling with Petri nets and a transcription in CHIP, INRIA European Workshop on Integrated Manufacturing Systems Engineering (IMSE'94), Grenoble, 1994, pp. 317-323.

P. Richard, J. L. Bouquard and C. Proust, Scheduling based on Petri nets and a resolution with CHIP, 2e International Conference on Manufacturing Automation, Nancy, 1995a, pp. 135-140.

P. Richard, C. Cavalier, N. Jacquet and C. Proust, Solving scheduling problems using Petri nets and constraint logic programming, INRIA/IEEE International Symposium on Emerging Technologies and Factory Automation (ETFA'95), Paris, 1995b, 9 p.

Roubellat, J. C. Billaut and M. Villaumié, Ordonnancement d'atelier en temps réel d'Orabaid à Ordo, Proceedings, journées d'études Ordonnancement et entreprises: applications concrètes et outils pour le futur, CNRS/GdR Automatique/SED/GT3, Toulouse, 1994, pp. 213-253.

B. Roy, Algèbre moderne et théorie des graphes, vol. 2, Dunod.

E. F. Stafford, F. T. Tseng, On the Srikar-Gosh MILP model for the N x M SDST flow-shop problem, International Journal of Production Research, 1990, 28, (10) pp. 1817-1830.

D. R. Sule, K. Y. Huang, Sequencing on two and three machines with setup, processing and removal times separated, International Journal of Production Research, 1983, 21, (5), pp. 723-732. | Zbl

C. Valentin, L. M. Aguilera, P. Ladet and Z. Binder, A high level Petri nets model of generalized dynamic job-shop, European Workshop on Integrated manufacturing Systems Engineering (IMSE'94), INRIA, Grenoble, 1994, pp. 273-280.

Van Hentenryck, Constraint satisfaction in logic programming, MIT press, 1989. | MR

H. Zidoum, P. Baptiste and B. Legeard, Extension de la PLC pour le traitement des contraintes sur les séquences, MSCEAFI'94, Rabat, 1994, pp. 285-294.

M. C. Zhou and F. Dicesare, Parallel and sequential mutual exclusions for Petri net modelling of manufacturing Systems with shared resources, IEEE transactions on Robotics and Automation, 1991, 7, (4), pp.515-527.