1 Synchronisation einer 3D-Visualisierung mit einer realen Anlage auf der Basis von Petrinetzmodellen Frank Nillies Betreuer: Ekkart Kindler Abschlussvortrag zur Studienarbeit

2 Motivation PNSim HAL PNK

3 Motivation PNSim HAL PNK

4 Motivation PNSim Coordination Simulation Interface Hardware Handler Interface Visualisation Handler Interface

5 Übersicht Visualisation PNSim PNK

6 Die Modelleisenbahn

7 Vom Gleisplan zum Petrinetz Schienenstrang vor der Weiche Schienenstrang nach runder Weiche Schienenstrang nach gerader Weiche Überfahre gerade Weiche Überfahre runde Weiche Weiche rund Weiche gerade

8 Vom Gleisplan zum Petrinetz geometry:track3 dynamicShape:train animation:move() geometry:track4 dynamicShape:train animation:move() geometry:track2 dynamicShape:train animation:move() geometry:track1 dynamicShape:train animation:move() geometry:signal1green dynamicShape:signalGo animation:appear() geometry:signal1red dynamicShape:signalStop animation:appear() Gleisgerade Gleishalbrund Lichtsignal rot Lichtsignal grün Lichtsignal rot Lichtsignal grün

9 Erweiterte Funktionalität keepAnimation() {..} Gleisgerade Gleishalbrund Lichtsignal rot Lichtsignal grün Lichtsignal rot Lichtsignal grün

10 Kommunikation PNSim PNVis PNSimVisuHandler animateObject(Item) deleteObject(Item) sendMessage(Item) Item.setResult() startAnimation() fire transition

11 Beispiel

12 Übersicht ToyTrain PNSim HAL PNK

13 Event – Action, ein Konzept animateObject(signalGreen) PNSimHAL onAdd:doAction(switchToGreen) endEvent: handleEvent(arrive26) deleteObject(signalGreen) zug.setResult() onRemove:doAction(switchToRed) Petrinetz

14 Petrinetz mit Eigenschaften der Hardware Schienenstrang 1Schiene mit Sensor1Schienenstrang 2 Lichtsignal endEvent: arrive1 onAdd: switchToRed onAdd: switchToGreen endEvent: departure1endEvent: arrive2 Event: Action: grün rot

15 Beispiel

16 Event – Action, ein Konzept PNSimHWHandlerHAL sendEvent(arrive26) zug.setResult() sendMessage(zug) deleteObject(zug) animateObject(zug) doAction(switchSignalGreen) signal.setResult() sendMessage(signal) deleteObject(signal) animateObject(signal) deleteObject(zug) animateObject(zug) sendEvent(departure26) sendMessage(zug) zug.setResult()

17 Polling Die fertigen Komponenten PNSim HAL PNK

18 Der CoordinationHandler PNSim Coordination Handler Super- Handler Multi- Simula- tor SlaveHandler MasterHandler

19 Die Koordination zweier Handler PNSimCoordinationMasterHandlerSlaveHandler cloneItem(Item) animObject(Item) animObject(ClonedItem) ClonedItem. setResult() Item.setResult() sendMessage(Item) deleteObject(Item) sendMessage(Item) sendMessage(ClonedItem) deleteObject(Item) deleteObject(ClonedItem) fire Transition

20 HAL Polling Übersicht PNSim Modelleisenbahn Coordination Handler PNToyTrain HWHandler Petrinet PNK PNVis VisuHandler

21 HAL Polling Noch Fragen? PNSim Modelleisenbahn Coordination PNHardware Petrinet PNK PNVis Abschlusspräsentation auf D2.216