university of paderborn software engineering group e. kindler, f. nillies petri nets and the real...
TRANSCRIPT
![Page 1: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/1.jpg)
University of PaderbornSoftware Engineering GroupE. Kindler, F. Nillies
Petri Nets and the Real World
E. Kindler, F. Nillies
Universität Paderborn
![Page 2: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/2.jpg)
2
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
![Page 3: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/3.jpg)
3
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
![Page 4: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/4.jpg)
4
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
PNSim
HAL
PNK
![Page 5: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/5.jpg)
5
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
PNSim
PNK
PNSimSimulation Interface
PNVisHandler Interface
![Page 6: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/6.jpg)
6
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesBeispiel
createObject(Item)
animateObject(Item)
deleteObject(Item)
Item.setResult(value)
{..} {..}
{..}
{..}
![Page 7: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/7.jpg)
7
University of PaderbornSoftware Engineering GroupE. Kindler, F. Nillies
geometry: track3linedynamicShape: train
animation: move()
geometry: track4linedynamicShape: train
animation: move()
geometry: track2linedynamicShape:trainanimation: move()
geometry: track1linedynamicShape: train
animation: move()
geometry: signal1greenPointdynamicShape: signalGo
animation: appear(); trigger()
geometry: signal1redPointdynamicShape: signalStop
animation:appear(); trigger()
Gleisgerade
Gleisgerade
Gleishalbrund Gleishalbrund
Lichtsignalrot
LichtsignalgrünLichtsignal
rot
Lichtsignalgrün
Vom Gleisplan zum Petrinetz
![Page 8: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/8.jpg)
8
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesVom Gleisplan zum Petrinetz
keepAnimation()
keepAnimation()
{..}
{..}
{..}
{..}
{..}
{..}
{..}
{..}
Gleisgerade
Gleisgerade
Gleishalbrund Gleishalbrund
Lichtsignalrot
LichtsignalgrünLichtsignal
rot
Lichtsignalgrün
![Page 9: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/9.jpg)
9
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesKommunikation PNSim PNVis
PNSim VisuHandler
createObject(Item)
deleteObject(Item)
sendMessage(Item)Item.setResult()
startAnimation()
firetransition
animateObject(Item)
![Page 10: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/10.jpg)
10
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesKein Nutzen ohne Kosten
Petrinetz
Modell Datei
Geometrie Datei
3D Modelle
![Page 11: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/11.jpg)
11
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
PNSim
HAL
PNK
![Page 12: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/12.jpg)
12
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesBeispiel:
endEvent(arrive1)
Item.setResult(Value)
deleteObject(Item)
createObject(Item)
Sensor
![Page 13: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/13.jpg)
13
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesPetrinetz mit Hardware Erweiterung
Schienenstrang 1 Schiene mit Sensor1 Schienenstrang 2
Lichtsignal
endEvent: arrive1
onAdd: switchToRed
onAdd: switchToGreen
endEvent: departure1 endEvent: arrive2
Event:<arrive1, SensorValue=(1,1)><departure1, SensorValue=(1,0)>
Action:<switchToRed, perform=switchSignal(1,1)><switchToGreen, perform=switchSignal(1,0)>
grün
rot
![Page 14: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/14.jpg)
14
University of PaderbornSoftware Engineering GroupE. Kindler, F. Nillies
3D Modelle
Kein Nutzen ohne Kosten
Petrinetz
Modell Datei
Geometrie Datei
OccurrenceDatei
Relation Datei
HALHardware
![Page 15: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/15.jpg)
15
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesHardware Software Koordination
PNSimCoordination
Handler
Super-Handler
Multi-Simula-
tor
SlaveHandler
MasterHandler
![Page 16: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/16.jpg)
16
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesHardware Software Koordination
![Page 17: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/17.jpg)
17
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesSnapshot
![Page 18: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/18.jpg)
18
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesFazit
HAL Polling
PNSim
Modelleisenbahn
CoordinationHandler
PNToyTrainHWHandler
Petrinetz
PNK
PNVisVisuHandler
XMLXML
XMLXML
![Page 19: University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn](https://reader036.vdocuments.us/reader036/viewer/2022062407/56649b57550346318e8d5fbd/html5/thumbnails/19.jpg)
19
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesFragen?
HAL Polling
PNSim
Modelleisenbahn
CoordinationHandler
PNToyTrainHWHandler
Petrinetz
PNK
PNVisVisuHandler
Vielen Dank für Ihre Aufmerksamkeit.
XMLXML
XMLXML