Post on 10-Dec-2015
transcript
University of PaderbornSoftware Engineering GroupE. Kindler, F. Nillies
Petri Nets and the Real World
E. Kindler, F. Nillies
Universität Paderborn
2
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
3
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
4
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
PNSim
HAL
PNK
5
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
PNSim
PNK
PNSimSimulation Interface
PNVisHandler Interface
6
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesBeispiel
createObject(Item)
animateObject(Item)
deleteObject(Item)
Item.setResult(value)
{..} {..}
{..}
{..}
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
8
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesVom Gleisplan zum Petrinetz
keepAnimation()
keepAnimation()
{..}
{..}
{..}
{..}
{..}
{..}
{..}
{..}
Gleisgerade
Gleisgerade
Gleishalbrund Gleishalbrund
Lichtsignalrot
LichtsignalgrünLichtsignal
rot
Lichtsignalgrün
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)
10
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesKein Nutzen ohne Kosten
Petrinetz
Modell Datei
Geometrie Datei
3D Modelle
11
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesMotivation
PNSim
HAL
PNK
12
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesBeispiel:
endEvent(arrive1)
Item.setResult(Value)
deleteObject(Item)
createObject(Item)
Sensor
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
14
University of PaderbornSoftware Engineering GroupE. Kindler, F. Nillies
3D Modelle
Kein Nutzen ohne Kosten
Petrinetz
Modell Datei
Geometrie Datei
OccurrenceDatei
Relation Datei
HALHardware
15
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesHardware Software Koordination
PNSimCoordination
Handler
Super-Handler
Multi-Simula-
tor
SlaveHandler
MasterHandler
16
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesHardware Software Koordination
17
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesSnapshot
18
University of PaderbornSoftware Engineering GroupE. Kindler, F. NilliesFazit
HAL Polling
PNSim
Modelleisenbahn
CoordinationHandler
PNToyTrainHWHandler
Petrinetz
PNK
PNVisVisuHandler
XMLXML
XMLXML
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