Propriété de la RATP - Agence Cartographique - PB1 04.2008 - 000 - A CC - Design: bdcconseil 01 53 02 02 20 - Reproduction interdite
lle ra i L. B e Ru
ne Ta i e Ru
64 R J.K ue es se l N eu ve
67
e Ru
Ga
Av en ue
tte ue la de R.
69
61
te ue t Ro q la de Ru e
69
63 57
57 al ôp it l’H
t illo Bo b
57
e
lot bil Bo
Ro q
75 IV ri He n Bd
87 86 de
ch t-R o nfe r De Av en ue
38 68
Av. du Général
d’Aubervilliers
e Ru e
ere a
u
58
ot Did
Bd
42
58
82
89
58
95 R.
Ru
Louvre du Rue
95 res
Rue de Rennes
Ru
Fa ye tt
43 e 26 42 48
La
32
85
39 48 39
Rue Bonaparte
69 Rue du Bac
68 Sèv
70
de
Ru Le co urb e Ru e
89 70
67 74 85
68
Ru e
67 Rue de Richelieu
94
52
24
42
94 24
La Av .d e
80
l
95 am ré m on t R.
D
Avenue
81 80 95 53 Royale Rue
28
M ot 82 te –P ic qu et
42 x es ai D e Ru
Saint-Charles Rue
85
66 Gu
y
42
Q
82
t en Av .d u
72
39 e
80
63
72 ly
ua
i
42 Bran
de
Av . dy ne Ke n
R.
66
80 28
tie oé La B Ru e ign e nta Mo ue
Av en
32 k Yo r
ew N de
Av.
er um Do ul Av. Pa
52 22
de
Rue Pouchet
ne t Ca rd i R.
31
an s uff ro y Jo
Ru e ra m W ag de Av en ue
22 30 Kléber
Hu go r Vic to
ue Av en
de la Pompe Rue
id
ot
i ua
Did
École Vétérinaire de Maisons-Alfort
Q
e
y rc
Charenton-le-Pont
24
Porte d’Ivry Claude Regaud
Masséna
Porte d’Italie
Be
le
Ru
de
ay
95
i
t Pa
na
io
89
Paris Bois de Vincennes
ua
Bibliothèque François Mitterrand
at N
80
87
Q
Le cle rc
Saint-Ouen
iè re s Be ss
PC 3
74
Bo ul ev ar d
hi er Be rt Bo ul ev ar d
d’ Ab b
hi er Be rt
PC 3 rd Bo ul ev a
31 Av. de
92
Wagram
93
Avenue Niel
t-C yr in -S a io n Gouv Boulevard
PC1 Bd de l'Amiral Bruix Bd Lannes Suchet Boulevard
Pr és
42
n
R. Saint-Charles
to
y Ro
88
Porte Dorée
n re
a Ch
Le
de
Tolbiac
83
Neuilly–Bagatelle Gare St-Lazare
86
Porte de Bercy
62 89
R.
57
Hôpital G. Pompidou Gare du Nord
Saint-Mandé Demi-Lune
Porte de Reuilly
n ro
de Versailles
46
Daumesnil
de
Ba
Avenue
24
e
Ru
72
ue
R.
52
Bd de Bercy
R.
rc ’A
22
y rc
Be
Avenue Mozart
Av en
Bercy
de
Suchet
29
Daumesnil
Porte de Charenton
d’Italie
Peupliers
Gare St-Lazare Nation Gare St-Lazare Pte d’Ivry–Cl. Regaud Gare St-Lazare Pte d’Orléans Gare St-Lazare Pte de Montempoivre Étoile Gare de l’Est Gare du Nord Pte d’Orléans
46 47 52 54 57 58 60 61 62 63 64
56
46
29
46 56
86
il
d J.
47
des
20 21 24 26 27 28 29 31 38 42 43
Gare du Nord Château de Vincennes Gare de l’Est Fort du Kremlin-Bicêtre Parc de St-Cloud Opéra Asnières–Gennevilliers Pte d’Aubervilliers Arcueil–Laplace RER Pte de Bagnolet Vanves–Lycée Michelet Châtelet Pte de Montmartre Gambetta Gare d’Austerlitz Église de Pantin Pte de St-Cloud Bibliothèque Fr. Mitterrand Pte de la Muette Gare de Lyon Place d’Italie Gambetta
Saint Mandé
86
esn
R
Avenue
Rue
74 75 76 80 85 87 88 89 91 92 95 96
Gare St-Lazare Gare de Lyon Gare St-Lazare Stade Charléty Maubert–Mutualité École Vét. de Maisons-A.
Château de Vincennes
Porte de Montempoivre Soult
e
27 83 47
54 57 60 61 62 63 64 65 66 67 68 72
Clichy–Berges de Seine (1) Pte de Champerret PC1 Pte de Clichy Pont du Garigliano Pont Neuf Pte d’Ivry Porte de la Villette (1) PC2 Pte de la Villette Louvre–Rivoli Bagnolet–L. Michel (1) Pte des Lilas Mairie du 18e PC3 Pte Maillot Pte de Versailles e Mairie du 18 Montmartrobus Mairie de St-Ouen Champ de Mars Mairie du 18e • Pigalle Pte de Reuilly Hôpital G. Pompidou Montsouris Bibliothèque Fr. Mitterrand Paris–Denfert-Rochereau Aéroport d’Orly – jusqu’à 23 h Gare de Vanves–Malakoff Montparnasse 2–TGV Bastille Pte de Champerret Paris–Opéra – Liaison directe Gare Montparnasse Aéroport Ch. de Gaulle Pte de Montmartre Pte de Vanves (1) prolongé d’une heure Châtelet les vendredis, samedis Pte des Lilas et veilles de fêtes
Porte Vincennes de Vincennes Boulevard
Ru
Boulevard
Davout
um
y ill
rd
na
s
PC1
PC2
29
u Re
Da
Les dimanches et fêtes Asnières–Gennevilliers Pte d’Aubervilliers Arcueil–Laplace RER Pte de Bagnolet Pte de Montmartre Gambetta Gare d’Austerlitz Église de Pantin Pte de St-Cloud Bibliothèque Fr. Mitterrand Pte de la Muette Gare de Lyon Place d’Italie Gambetta Mairie d’Aubervilliers Gare de Lyon Clichy–V. Hugo Opéra Pigalle Stade Charléty Place de Clichy Châtillon–Montrouge Parc de St-Cloud Hôtel de Ville
R. Schubert
ue
87
Montreuil
29
de
er
t-B
lin be
52
Boulevard
56
e
Ru
in
Go
A6
57
PC2
rt po Av. du Dr A. Netter
26
Le Kremlin Bicêtre
Aéroport d’Orly
Mortier
64
e air
lt Vo
57
Cours de Vincennes
Nation
Gare de Lyon
Place de l’Abbé Georges Hénocque Bd
26
n
vro d’A
86
Av en
20 63 65
Porte de Montreuil
e Ru
57
46
Bo
Patay-Tolbiac
Tolbiac
Pyrénées
Bd
29 61 87
ard
v ule
89
de
Porte de Bagnolet Louis Ganne
Maraîchers
St-Antoine
Bd Vincent Auriol
Rue
57
B
g
rot
Sa
s
62
lade C
56
46
20
Rue de Lyon
Fb
e Did
Gare d’Austerlitz
64
de
se er e avronn r T ha
Charonne
du
57
Bagnolet
t
R. des
Ch
e air
61
76
e
Ru
Faidherbe Chaligny
Gare d’Austerlitz
61
Marcel
ne
n
aro
lt Vo
29 e in
i
24
76
Voltaire
Ru e
76
ole
agn
e
Bd
20 o nt
65
-A St
76
86
Boulevard
Père Lachaise
Ru
de
76
elle R. P
Rue des Pyrénées
93
rt
ais
rch
ma au
43
po lle Pe
46
Be
56
Bagnolet Louise Michel
26
ard
v ule
ire
29
Gentilly
Arcueil
e Ru
r
Vo l
67
de Av.
Autoroute
Stade Charléty
r rie ru Sé
tie
rd
Bo
e
ua
Q
Monge
Glacière
R. Kuss
Kellermann
21 67
rd
en
ev a
89
la
Cité Universitaire
s ée én yr sP de
ul
Les Lilas
R.
Bo
ta
Ru
Rue
de
21
88
Pl. de Rungis
a ev ul Bo
rm Pa
ple Rue de Turenne
le
el
rn
67
u To
Rue
ty Co
en Av
Montsouris Tombe-Issoire
68
ue
m Te
la
Boulevard St-Michel
27 21
Tolbiac
Porte des Lilas
60 64 69
en Av
u
75
21
85
47
96
38
Bd du Palais
58
Reille
ée im
r tie en m
d
des Archives
Sébastopol
i
ine
de
is va
Gambetta
Parmentier
96
Oberkampf
Sully Morland
Place d’Italie
Rue
Cr
r Pa
ta en
ag
Rue
de
69
Bd St-
er
Ménilmontant
O
e
Bastille
Ara
Glacière Tolbiac
Jourdan
Arcueil Laplace
de
ue en Av
M
Boulevard
e
96
91
Bd
88
e Ru
ux fa le el l. V
de
38
Rivoli
89
Port-Royal
Av. Bd Saint-Jacques Re né d’Alésia
Paul Fort
Bd
pf
m rka
e Ob
de
96
Ru
Saint-Paul
63
Bo
Montrouge
Châtillon Montrouge
.C Av
rd
39 47
58 70
n Co
il spa Ra Ma
R.
Rue pf
m rka be
46
Ru
-G St éPr
48 96 PC3
Pyrénées
Filles du Calvaire
go
ue
Porte d’Orléans
Vanves
89
de
d var ule
Bièvre Montsouris
28 38
Porte de Vanves
Gare de Vanves Malakoff
Quai
Boulevard de
la Traverse
liva
du
e Ru
Place des Fêtes
Bo
r
91
Les Gobelins
Denfert-Rochereau
Rue
on
d
go
r Tu
Rue Claude Bernard
Brune
95
B
70 72 74
84
Alésia
Boulevard
de
67
Panthéon
28
d’Alésia
Sim
26
Le-Pré Saint-Gervais
Pré-Saint-Gervais
ue
75
Av.
a ev ul Bo
Boulevard de Strasbourg
48
i
47 52
du
58
58
de
Maubert Mutualité Cardinal Lemoine
83
d var ule
Issy-les-Moulineaux
Lefebvre
En soirée
43n
Rue
62
Vouillé
89
Bo
Porte de Versailles
Porte de Plaisance
Vanves Lycée Michelet
21 24 26 27 28 29 31 38 42
Av.
de
Rue
48
Av en
M
46
Boulevard St-Germain
Cluny
Boulevard du Montparnasse
u rea
u ath
29
Rambuteau Pompidou
87
Port-Royal
Se cré tan
bi
Hôtel de Ville
s
28
Rue
20
75 Mairie du 19e
Ma
e Ru Mo
e
75 76
ssa
48
Colonel Fabien
Ru
82 85
88
26
Strasbourg Saint-Denis
d’A
91
Avenue
Saint-Martin
St-Michel
68
Boulevard
Meudon
e
91
39 Convention
Boulevard
Luxembourg
Ru
il
d
Pont du Garigliano
Issy Val de Seine
89
Porte de Pantin
Danube
60
Carrel
nin
56
24
84
Armand
rin
Rue M. Le Comte
Pont Neuf
27
Rue
République
Bd St-Denis
58 81
63 86
83
Montparnasse 2 Gare TGV
89
65
Odéon
spa
ne
e Ru
Boulevard Victor
80
Gare St-Lazare Stade Charléty Gare d’Austerlitz École Vét. de Maisons-A. Gare St-Lazare Nation Gare St-Lazare Pte d’Ivry–Cl. Regaud Gare St-Lazare Pte d’Orléans Gare St-Lazare Pte de Montempoivre Étoile Gare de l’Est Gare du Nord Pte d’Orléans Hôpital G. Pompidou Gare du Nord Pont de Neuilly Neuilly–Bagatelle Gare de l’Est Fort du Kremlin-Bicêtre Étoile Pte d’Auteuil
Pasteur
Balard
39
86
Ra
on br
e urb co Le
t
St-Germain des-Prés
Bd
m Ca
is
la
88
de
St-Germain
68
e
no Li
de
Qu a
Quai Malaquais
ue
en Av
30 31 32 47
67
Pont Neuf
24
Gare Montparnasse 88
Rivoli
75
Louvre Rivoli
82
Bd
74
Laumière
re
Fla
de
Gare de l’Est
Marcel
Rue de l’ Ourc q
Rue Louis Blanc
46
Châtelet
76
94
Ba
Duroc
Ru
R.
Rue
ra
de
30
Rue du Faubourg Poissonnière
pé
b
R.
Étienne
Crimée
nd
Rue La Fayette
Châtelet Les Halles
de
69 72
70 96
89
70 88
e Ru
R.
92 94 96
80
Convention
n ylo
Rue
84
87
e
87
Mairie du 15e Vaugirard
la
l'O
82 9 2
Cambronne
62
27 21 95
28
e
Convention Vaugirard
81
esn
Champs
ée
Riquet
54
Louvre Étienne Marcel
29 R. des Petits
Bd
39
PC1 Boulogne Billancourt
qu
Rue
Ney–Flandre
48
56
39
Boulevard de Bonne Nouvelle
Richelieu Drouot
Sèvres Babylone
28
s ier
ill nv lai
at ur
Porte de Saint-Cloud
42 88
Du
29
u Bo
M
Parc de Saint-Cloud
22 62
e
69
s de des i Bd val In
de
rd
52 72
Hôpital Européen Georges Pompidou
ue
La Motte Picquet Grenelle
Rue des Entrepreneurs
Javel
84
Bac Saint-Germain
Bd de Grenelle
Charles Michels
70
63
Av. de Tourville
Av en
20
Crim
54
Bd de la Chapelle
Chabrol
Ligne directe
l’
la Traverse
32 Rue de
74
Bd Poissonnière
Quai Voltaire
83
e
a ev ul Bo
72
de
Ru
Église d'Auteuil
Boulogne Pont de St-Cloud
69 87
Champ de Mars
94
Saint-Dominique
École Militaire
Radio France
70
32
Porte d’Auteuil
Rue
22 52 53 66
48
73
Invalides
67
Palais Royal
Musée d’Orsay
63
d’Orsay
93
92
La Muette Boulainvilliers
72
n
32
42
Opéra
Concorde
ai m er
32
22
du
Av.
Alma Marceau
et
Av. G. Mandel
63
d
si Pré
Rue de Rivoli
Champs-Élysées
-G St
30
re
Avenue des
Quai
n
iè
42 73
93
72
63
ilso t W en
Madeleine
Bd
Trocadéro
52
Rond-Point des Champs-Élysées
28
Boissière B
26 32
ue
R.
ss
Porte de Passy
Ma rce au
ret t
Trinité
en Av
82
Av en ue
68 81
92
oi
Avenue H. Martin
73
Av. des Champs-Élysées
Lo
43
qu
Paris Bois de Boulogne
31
e m Ro
Victor Hugo
83
Carrefour de Châteaudun
53
84
Rue du Fbg Saint-Honoré
Friedland Haussmann
de
42
83
lak off
63 Porte de la Muette
Ma
93
Ternes
D.
e
29 20
32
os .B Av
93
de
es
Neuilly Bagatelle
ue
Bo
Av.
Av en
84
N.-
94 28
43
22
H
28
43
Rue du Fbg St-Honoré
73 de la Grande Armée
rb he es
n ho
Porte Maillot
Suresnes De Gaulle
Ma
La Défense
Av. Mac
82
Av.
Lisbonne
ss au
d var ule
52 nd 22Friedla
nn
ma
Rue de
Ch. de Gaulle Étoile
Pont de Neuilly
PC3
43
20 21 24 26 27 28 29
Saint-Augustin
30
R.
Gare St-Lazare
s elle urc Co
al
Avenue des Ternes
73
s lle ce ur Co
82
d var ule Bo
de
M
de
93
Neuilly Hôpital Américain
Bd
e Ru
84
85
74
54
ta en ag
s
de Villiers
d
Bd
67 Pigalle
66
lles
Bd
54
30
c Ro
de
38 39 42 43 46
M
be
Av.
Ba
68
ou
ch
he
Bd de Clichy
30
no
tig
94
30art
Ru
Gare du Nord
de
er
84 92 PC1 Neuilly-sur-Seine
s lle no tig Ba de
h es al
Porte de Champerret
s de
M
53
es
Barbès Rochechouart
80
Place de Clichy
e Ru
53
rt ou nc lai au eC u R
Montmartrobus
e Ru
Boulevard
Levallois-Perret
Rue Ordener
Bd
Pont Cardinet
74
31
de
e
Marx Dormoy
de
2 PC
hy
Porte d’Asnières
54
56 Bd Barbès
ic
Levallois Louison Bobet
Brochant
o
n Éva
Rue
3
Cl
94
53
Môquet
an
Rue Ordener
60
Rue Championnet
rn
60
e gil
75 PC rurier Sé
e
Pont de Levallois
Guy Môquet
O
Ney
Macdonald
rd
.d Av
Porte de Clichy
rd
65
Boulevard
le va
80
Montmartrobus
Boulevard
Porte de la Chapelle
ou
Mairie du 18e Jules Joffrin
61
Pantin
PC3
Ney
Porte deB Clignancourt
Porte de Montmartre
Porte de Saint-Ouen
Boulevard
56
a ev ul Bo
www.ratp.fr
Ney
60 95
R. de la Chapelle
54
Boulevard
81
Église de Pantin
75 PC2
91
66
Clichy la-Garenne
42 84
Gabriel Péri Asnières–Gennevilliers
Porte de la Villette
Aubervilliers
54
Ru eP ajo
54
Porte d’Aubervilliers
Saint-Denis
85
Saint-Ouen
Clichy Victor Hugo
Mairie d’Aubervilliers
Aéroport Charles de Gaulle
74
Paris
La Garenne Colombes Place de Belgique
Ligne directe
Mairie de Saint-Ouen
38
Clichy Berges de Seine
Légende
65 66
Mairie d’Aubervilliers Gare de Lyon Clichy–V. Hugo Opéra
67 68 72 74 75 76 80 82 85
Pigalle Stade Charléty Place de Clichy Châtillon–Montrouge Parc de St-Cloud Hôtel de Ville Clichy–Berges de Seine Pte de Clichy Pont Neuf Porte de la Villette Louvre–Rivoli Bagnolet–L. Michel Pte de Versailles Mairie du 18e Neuilly–Hôp. Américain Luxembourg Mairie de St-Ouen Mairie du 18e
86 87 88 89 91 92 94 95 96 PC1 PC2 PC3
St-Germain-des-Prés St-Mandé–Parc Zoologique Bastille Pte de Reuilly Hôpital G. Pompidou Montsouris Bibliothèque Fr. Mitterrand Gare de Vanves–Malakoff Montparnasse 2–TGV Bastille Pte de Champerret Gare Montparnasse Levallois–L. Bobet Gare St-Lazare Pte de Montmartre Pte de Vanves Gare Montparnasse Pte des Lilas Pte de Champerret Pont du Garigliano Pte d’Ivry Pte de la Villette Pte des Lilas Pte Maillot
la Traverse Bièvre–Montsouris la Traverse de Charonne la Traverse Ney–Flandre La Défense • Gare de Lyon D’avril à septembre de 12h30 à 20h
Lignes fonctionnant en partie seulement
Terminus bus
76 24
Indices de lignes 70 62 Pôles d’échanges
Montmartrobus Mairie du 18e • Pigalle
Terminus de tramway Paris–Denfert-Rochereau Aéroport d’Orly jusqu’à 23 h
Terminus Voguéo
Paris–Opéra Aéroport Ch. de Gaulle Liaison directe
accessibles aux usagers en @Z Lignes fauteuil roulant
Abstract: This paper introduces a new approach for the verification of behaviour properties in hybrid systems. By using Petri nets and object oriented concepts ...
We underline here the fact that if the Petri net repre- sents the resource allocation policies of a shop, any short term scheduling issue can be expressed under.
point of view where the traffic is seen as a gas with a comportment law given by a ... comportment where large simulations are done to make macroscopic laws ...
regulations include temporal aspects: for example the maximum delay for a property transaction or a trial setting down. The major part of legal rules comprise ...
ach place of the net represents a logical predicate, which is true when ..... view of the states and the fact that sequences are legal (they respect the ...... techniques of the behavior of the temporal nets are restricted to 1-bounded ..... ÑзS Ñ
fix ed and some of them v ariab le (that define the state) , and the relations between them. I n P N , the .... variables and differential algebraic equations, or the interaction of the controller with the ..... of a purely discrete system it would b
These points underline a need for a repository to manage models using different for- malisms, and centered on different types of semantics. Also, models should ...
to underline the benefits of a formal specification of such constraints in legal systems. Indeed, the temporal dimension is important in the legal domain. A lot of ...
In this article we report the results of the survey and we outline perspectives for ... For example, using a low-level modeling formalism with ad-hoc optimizations.
dog is used to avoid waiting for too long. If there is a failure and the ..... n1=nodesIC.get(0){Extract a node from nodesIC (Gα1 )} n = n1.IncludeClass{Treat the ...
Gilles Moncelet1,2, Søren Christensen3, Hamid Demmou2, Mario Paludetto2, José Porras1. 1 PSA Peugeot Citroën, 18 rue des Fauvelles, 92256 La Garenne ...
Jul 26, 2002 - From the current marking to another marking => defines an assignment/scheduling problem. â Derive one partial order (heuristic based?)
event systems such as manufacturing systems imply reas- oning about objects and ... ant to use high level Petri nets (G enrich, 1 986) or Petri nets with Objets ..... of linear programming it is possible to e x tract specific subnets out of a Petri n
This paper aims to handle scenario durations of t-timed Petri nets without constructing ..... (10). When variables di are replaced by actual values, the obtained duration of the scenario may ...... Also in Project MAC, TR-120 MIT Cambridge 1974.
re as onin g sc he m e ab o u t their b eh av ior . Class i cal lo g i c i s o f no he lp f or thi s pu r p o s e b e caus e it on ly d e als w ith etern al tr u th : ac t ually , w ...
efficient for concurrency: it often leads to a combinatory explosion because of interleaving. ... The derived time information will only be accurate if and only if.
The representation of a Flexible Manufacturing System by means of Petri nets, ... the modeling of a shop floor is frequently based on the actual objects (parts ...
in the past but it is possible that it will happen only in the future,. ⢠at time t4, an event ... The pos- sibility distribution of the objects involved in the firing are reset to zero for the .... manual reset and will finally reach the next cont
At the initial mar k ing w e have three pairs of objects consisting of a part on a .... I . M o k ri cs : A nalysis of parallel discrete systems by discrete stochastic.
computing, communication network and production systems. ... Fusion of places; ..... obtain the new firing rate µij: µij = min (µi , µj ). P1. P2. P3. P4. P5. µ1. µ3. µ4.
contraintes continues sont ensuites dÑduites de ces dates. ..... 4.1. Principle of the approach. We have seen in section 2 that scheduling a batch process is ...