Skip to content

Commit

Permalink
Give more spaces in example nets
Browse files Browse the repository at this point in the history
  • Loading branch information
@Lecrapouille
Lecrapouille committed Jan 9, 2024
1 parent 34a2773 commit 24a66fc
Show file tree
Hide file tree
Showing 4 changed files with 94 additions and 68 deletions.
48 changes: 24 additions & 24 deletions data/examples/AppelsDurgence.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,32 +5,32 @@
{
"name": "AppelsDurgence",
"places": [
{ "id": 0, "caption": "P0", "tokens": 0, "x": 403, "y": 136 },
{ "id": 1, "caption": "P1", "tokens": 0, "x": 269, "y": 217 },
{ "id": 2, "caption": "Conference a trois", "tokens": 0, "x": 269, "y": 363 },
{ "id": 3, "caption": "Instructions avec operateur niv 2", "tokens": 0, "x": 269, "y": 522 },
{ "id": 4, "caption": "Operateur Niveau 2", "tokens": 4, "x": 552, "y": 488 },
{ "id": 5, "caption": "Instructions avec operateur niv 1", "tokens": 0, "x": 403, "y": 271 },
{ "id": 6, "caption": "Musique attente", "tokens": 0, "x": 405, "y": 411 },
{ "id": 7, "caption": "Instructions avec operateur niv 2", "tokens": 0, "x": 405, "y": 583 },
{ "id": 8, "caption": "Instructions avec operateur niv 1", "tokens": 0, "x": 539, "y": 213 },
{ "id": 9, "caption": "Operateurs de Niveau 1", "tokens": 4, "x": 550, "y": 437 },
{ "id": 10, "caption": "Victimes", "tokens": 7, "x": 262, "y": 70 },
{ "id": 11, "caption": "Actions urgentes", "tokens": 0, "x": 181, "y": 666 },
{ "id": 12, "caption": "Actions critiques", "tokens": 0, "x": 179, "y": 625 }
{ "id": 0, "caption": "P0", "tokens": 0, "x": 403, "y": 111 },
{ "id": 1, "caption": "P1", "tokens": 0, "x": 523, "y": 259 },
{ "id": 2, "caption": "Conference a trois", "tokens": 0, "x": 83, "y": 438 },
{ "id": 3, "caption": "Instructions avec operateur de niveau 2", "tokens": 0, "x": -40, "y": 505 },
{ "id": 4, "caption": "Operateur niveau 2", "tokens": 4, "x": 494, "y": 439 },
{ "id": 5, "caption": "Instructions avec operateur de niveau 1", "tokens": 0, "x": 210, "y": 244 },
{ "id": 6, "caption": "Musique attente", "tokens": 0, "x": 158, "y": 360 },
{ "id": 7, "caption": "Instructions avec operateur de niveau 2", "tokens": 0, "x": 808, "y": 440 },
{ "id": 8, "caption": "Instructions avec operateur de niveau 1", "tokens": 0, "x": 201, "y": 46 },
{ "id": 9, "caption": "Operateurs de niveau 1", "tokens": 4, "x": -38, "y": -20 },
{ "id": 10, "caption": "Victimes", "tokens": 7, "x": 403, "y": -109 },
{ "id": 11, "caption": "Actions urgentes", "tokens": 0, "x": 383, "y": 642 },
{ "id": 12, "caption": "Actions critiques", "tokens": 0, "x": 254, "y": 641 }
],
"transitions": [
{ "id": 0, "caption": "Critique", "x": 267, "y": 136, "angle": 315 },
{ "id": 1, "caption": "T1", "x": 269, "y": 288, "angle": 270 },
{ "id": 2, "caption": "T2", "x": 269, "y": 435, "angle": 90 },
{ "id": 3, "caption": "T3", "x": 268, "y": 587, "angle": 90 },
{ "id": 4, "caption": "Urgent", "x": 403, "y": 206, "angle": 270 },
{ "id": 5, "caption": "Appel d'urgence", "x": 403, "y": 70, "angle": 90 },
{ "id": 6, "caption": "T6", "x": 404, "y": 329, "angle": 270 },
{ "id": 7, "caption": "T7", "x": 405, "y": 494, "angle": 270 },
{ "id": 8, "caption": "Conseil", "x": 539, "y": 136, "angle": 225 },
{ "id": 9, "caption": "T9", "x": 539, "y": 285, "angle": 270 },
{ "id": 10, "caption": "T10", "x": 406, "y": 666, "angle": 270 }
{ "id": 0, "caption": "Critique", "x": 524, "y": 110, "angle": 315 },
{ "id": 1, "caption": "T1", "x": 247, "y": 439, "angle": 270 },
{ "id": 2, "caption": "T2", "x": -39, "y": 361, "angle": 90 },
{ "id": 3, "caption": "T3", "x": -40, "y": 602, "angle": 90 },
{ "id": 4, "caption": "Urgent", "x": 404, "y": 245, "angle": 270 },
{ "id": 5, "caption": "Appel d'urgence", "x": 403, "y": -21, "angle": 90 },
{ "id": 6, "caption": "T6", "x": 36, "y": 243, "angle": 270 },
{ "id": 7, "caption": "T7", "x": 675, "y": 360, "angle": 270 },
{ "id": 8, "caption": "Conseil", "x": 292, "y": 112, "angle": 225 },
{ "id": 9, "caption": "T9", "x": 50, "y": 47, "angle": 270 },
{ "id": 10, "caption": "T10", "x": 660, "y": 509, "angle": 270 }
],
"arcs": [
{ "from": "P0", "to": "T0" },
Expand Down
28 changes: 14 additions & 14 deletions data/examples/Philosophers.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,23 +5,23 @@
{
"name": "Philosophers",
"places": [
{ "id": 0, "caption": "Phi0 Not Eating", "tokens": 1, "x": 150, "y": 100 },
{ "id": 1, "caption": "Phi1 Eating", "tokens": 0, "x": 300, "y": 350 },
{ "id": 2, "caption": "Phi1 Not Eating", "tokens": 1, "x": 450, "y": 100 },
{ "id": 3, "caption": "Phi0 Eating", "tokens": 0, "x": 0, "y": 350 },
{ "id": 4, "caption": "Phi2 Not Eating", "tokens": 1, "x": 750, "y": 100 },
{ "id": 5, "caption": "Phi2 Eating", "tokens": 0, "x": 600, "y": 350 },
{ "id": 6, "caption": "Fork", "tokens": 1, "x": 225, "y": 225 },
{ "id": 7, "caption": "Knife", "tokens": 1, "x": 525, "y": 225 },
{ "id": 8, "caption": "Knife", "tokens": 1, "x": 400, "y": 500 }
{ "id": 0, "caption": "Phi0 Not Eating", "tokens": 1, "x": -82, "y": 189 },
{ "id": 1, "caption": "Phi1 Eating", "tokens": 0, "x": 138, "y": 105 },
{ "id": 2, "caption": "Phi1 Not Eating", "tokens": 1, "x": 227, "y": 184 },
{ "id": 3, "caption": "Phi0 Eating", "tokens": 0, "x": -185, "y": 100 },
{ "id": 4, "caption": "Phi2 Not Eating", "tokens": 1, "x": 539, "y": 186 },
{ "id": 5, "caption": "Phi2 Eating", "tokens": 0, "x": 453, "y": 111 },
{ "id": 6, "caption": "Fork", "tokens": 1, "x": 138, "y": 386 },
{ "id": 7, "caption": "Knife", "tokens": 1, "x": 451, "y": 386 },
{ "id": 8, "caption": "Knife", "tokens": 1, "x": -189, "y": 386 }
],
"transitions": [
{ "id": 0, "caption": "T0", "x": 0, "y": 100, "angle": 225 },
{ "id": 1, "caption": "T1", "x": 150, "y": 350, "angle": 90 },
{ "id": 2, "caption": "T2", "x": 300, "y": 100, "angle": 135 },
{ "id": 3, "caption": "T3", "x": 450, "y": 350, "angle": 90 },
{ "id": 4, "caption": "T4", "x": 600, "y": 100, "angle": 315 },
{ "id": 5, "caption": "T5", "x": 750, "y": 350, "angle": 270 }
{ "id": 1, "caption": "T1", "x": -186, "y": 262, "angle": 90 },
{ "id": 2, "caption": "T2", "x": 321, "y": 104, "angle": 135 },
{ "id": 3, "caption": "T3", "x": 137, "y": 261, "angle": 90 },
{ "id": 4, "caption": "T4", "x": 640, "y": 110, "angle": 315 },
{ "id": 5, "caption": "T5", "x": 452, "y": 259, "angle": 270 }
],
"arcs": [
{ "from": "P0", "to": "T0" },
Expand Down
12 changes: 6 additions & 6 deletions data/examples/TrafficLights.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,12 @@
{
"name": "TrafficLights",
"places": [
{ "id": 0, "caption": "Red1", "tokens": 1, "x": 146, "y": 250 },
{ "id": 1, "caption": "Green1", "tokens": 0, "x": 389, "y": 173 },
{ "id": 2, "caption": "Orange1", "tokens": 0, "x": 615, "y": 173 },
{ "id": 3, "caption": "Red2", "tokens": 1, "x": 153, "y": 408 },
{ "id": 4, "caption": "Green2", "tokens": 0, "x": 397, "y": 444 },
{ "id": 5, "caption": "Orange2", "tokens": 0, "x": 639, "y": 444 },
{ "id": 0, "caption": "Light 1 Red", "tokens": 1, "x": 146, "y": 250 },
{ "id": 1, "caption": "Light 1 Green", "tokens": 0, "x": 389, "y": 173 },
{ "id": 2, "caption": "Light 1 Orange", "tokens": 0, "x": 615, "y": 173 },
{ "id": 3, "caption": "Light 2 Red", "tokens": 1, "x": 153, "y": 408 },
{ "id": 4, "caption": "Light 2 Green", "tokens": 0, "x": 397, "y": 444 },
{ "id": 5, "caption": "Light 2 Orange", "tokens": 0, "x": 639, "y": 444 },
{ "id": 6, "caption": "P6", "tokens": 1, "x": 209, "y": 318 }
],
"transitions": [
Expand Down
74 changes: 50 additions & 24 deletions data/imgui.ini
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[Window][DockSpaceViewport_11111111]
Pos=0,19
Size=1024,749
Size=1065,749
Collapsed=0

[Window][Debug##Default]
Expand All @@ -9,44 +9,44 @@ Size=400,400
Collapsed=0

[Window][Console]
Pos=0,19
Size=734,681
Pos=0,670
Size=1065,98
Collapsed=0
DockId=0x00000001,1
DockId=0x00000004,1

[Window][Message]
Pos=0,702
Size=1024,66
Pos=0,670
Size=1065,98
Collapsed=0
DockId=0x00000004,0

[Window][Places]
Pos=736,19
Size=288,681
Pos=763,19
Size=302,649
Collapsed=0
DockId=0x00000005,1

[Window][Arcs]
Pos=736,19
Size=288,681
Pos=763,19
Size=302,649
Collapsed=0
DockId=0x00000005,2

[Window][Petri net]
Pos=0,19
Size=734,681
Size=761,649
Collapsed=0
DockId=0x00000001,0

[Window][Transitions]
Pos=736,19
Size=288,681
Pos=763,19
Size=302,649
Collapsed=0
DockId=0x00000005,0

[Window][Sensors]
Pos=736,362
Size=288,338
Pos=1651,493
Size=269,461
Collapsed=0
DockId=0x00000006,0

Expand Down Expand Up @@ -81,11 +81,21 @@ Size=565,338
Collapsed=0

[Window][Steps]
Pos=736,19
Size=288,681
Pos=755,19
Size=269,674
Collapsed=0
DockId=0x00000005,1

[Window][(max, +) dynamic linear system]
Pos=342,307
Size=339,154
Collapsed=0

[Window][Dater Equation]
Pos=321,318
Size=486,131
Collapsed=0

[Table][0x90C2C115,4]
RefScale=13
Column 0 Sort=0v
Expand Down Expand Up @@ -134,12 +144,28 @@ Column 0 Sort=0v
RefScale=13
Column 0 Sort=0v

[Table][0x02515061,4]
RefScale=13
Column 0 Sort=0v

[Table][0xC71CBDAB,4]
RefScale=13
Column 0 Sort=0v

[Table][0x8C0106D7,4]
RefScale=13
Column 0 Sort=0v

[Table][0x5D5C49A4,4]
RefScale=13
Column 0 Sort=0v

[Docking][Data]
DockSpace ID=0x8B93E3BD Window=0xA787BDB4 Pos=0,19 Size=1024,749 Split=Y
DockNode ID=0x00000003 Parent=0x8B93E3BD SizeRef=1024,681 Split=X
DockNode ID=0x00000001 Parent=0x00000003 SizeRef=848,749 CentralNode=1 Selected=0x249E7C8C
DockNode ID=0x00000002 Parent=0x00000003 SizeRef=288,749 Split=Y Selected=0xBB186BEF
DockNode ID=0x00000005 Parent=0x00000002 SizeRef=288,341 Selected=0x4190DAAF
DockNode ID=0x00000006 Parent=0x00000002 SizeRef=288,338 Selected=0x268FDB25
DockNode ID=0x00000004 Parent=0x8B93E3BD SizeRef=1024,66 Selected=0x6B041B99
DockSpace ID=0x8B93E3BD Window=0xA787BDB4 Pos=0,19 Size=1065,749 Split=Y
DockNode ID=0x00000003 Parent=0x8B93E3BD SizeRef=1024,649 Split=X
DockNode ID=0x00000001 Parent=0x00000003 SizeRef=761,749 CentralNode=1 Selected=0x249E7C8C
DockNode ID=0x00000002 Parent=0x00000003 SizeRef=302,749 Split=Y Selected=0xBB186BEF
DockNode ID=0x00000005 Parent=0x00000002 SizeRef=288,472 Selected=0x081FB661
DockNode ID=0x00000006 Parent=0x00000002 SizeRef=288,461 Selected=0x268FDB25
DockNode ID=0x00000004 Parent=0x8B93E3BD SizeRef=1024,98 Selected=0x49278EEE

0 comments on commit 24a66fc

Please sign in to comment.