Treffer: Railway traffic planning with Petri Nets and constraint programming
Title:
Railway traffic planning with Petri Nets and constraint programming
Authors:
Source:
Modelling of reactive systems - MSR'99Journal européen des systèmes automatisés. 33(8-9):959-975
Publisher Information:
Cachan: Lavoisier, 1999.
Publication Year:
1999
Physical Description:
print, 1 p.1/4
Original Material:
INIST-CNRS
Subject Terms:
Control theory, operational research, Automatique, recherche opérationnelle, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Recherche operationnelle. Gestion, Operational research. Management science, Recherche opérationnelle et modèles formalisés de gestion, Operational research and scientific management, Programmation mathématique, Mathematical programming, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Automatique théorique. Systèmes, Control theory. Systems, Modélisation et identification, Modelling and identification, Accessibilité, Accessibility, Accesibilidad, Atteignabilité, Reachability, Asequibilidad, Chemin de fer, Railway, Ferrocarril, Modélisation, Modeling, Modelización, Planification, Planning, Planificación, Programmation logique avec contrainte, Constraint logic programming, Programación lógica con restricción, Repérage, Marking, Marcación, Réseau Pétri, Petri net, Red Petri, Réseau ferroviaire, Railway network, Red ferroviaria, Simultanéité informatique, Concurrency, Simultaneidad informatica, Technique programmation, Programmation technique, Técnica programación
Document Type:
Konferenz
Conference Paper
File Description:
text
Language:
English
Author Affiliations:
LAIL - UPRESA 8021, Ecole Centrale de lille, Bd Langevin, 59651 Villeneuve d'Ascq, France
ISSN:
1269-6935
Rights:
Copyright 2000 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Operational research. Management
Operational research. Management
Accession Number:
edscal.1334807
Database:
PASCAL Archive
Weitere Informationen
Un nœud ferroviaire est le lieu de croisements de différents types de trains. Un tel système peut être modélisé à l'aide d'un réseau de Petri temporisé. La planification du trafic peut alors se ramener à une recherche d'accessibilité dans le réseau de Petri, L'efficacité de cette recherche est améliorée à l'aide de nouveaux concepts (marquages partiels, steps partiels). Un outil opérationnel a été implanté avec des techniques de programmation par contraintes (Ilog Solver).