1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
#!/usr/bin/env python3
"""https://www.graphviz.org/Gallery/directed/traffic_lights.html"""
import graphviz
t = graphviz.Digraph('TrafficLights', filename='traffic_lights.gv',
engine='neato')
t.attr('node', shape='box')
for i in (2, 1):
t.node(f'gy{i:d}')
t.node(f'yr{i:d}')
t.node(f'rg{i:d}')
t.attr('node', shape='circle', fixedsize='true', width='0.9')
for i in (2, 1):
t.node(f'green{i:d}')
t.node(f'yellow{i:d}')
t.node(f'red{i:d}')
t.node(f'safe{i:d}')
for i, j in [(2, 1), (1, 2)]:
t.edge(f'gy{i:d}', f'yellow{i:d}')
t.edge(f'rg{i:d}', f'green{i:d}')
t.edge(f'yr{i:d}', f'safe{j:d}')
t.edge(f'yr{i:d}', f'red{i:d}')
t.edge(f'safe{i:d}', f'rg{i:d}')
t.edge(f'green{i:d}', f'gy{i:d}')
t.edge(f'yellow{i:d}', f'yr{i:d}')
t.edge(f'red{i:d}', f'rg{i:d}')
t.attr(overlap='false')
t.attr(label=r'PetriNet Model TrafficLights\n'
r'Extracted from ConceptBase and layed out by Graphviz')
t.attr(fontsize='12')
t.view()
|
