1. University of Paderborn Software Engineering Group E. Kindler, F. Nillies Petri Nets and the Real World E. Kindler, F. Nillies Universität Paderborn

2. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 2 Motivation

3. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 3 Motivation

4. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 4 Motivation PNSim HAL PNK

5. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 5 Motivation PNSim PNK PNSim Simulation Interface PNVis Handler Interface

6. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 6 Beispiel createObject(Item) animateObject(Item) deleteObject(Item) Item.setResult(value) {..}

7. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 7 geometry: track3line dynamicShape: train animation: move() geometry: track4line dynamicShape: train animation: move() geometry: track2line dynamicShape:train animation: move() geometry: track1line dynamicShape: train animation: move() geometry: signal1greenPoint dynamicShape: signalGo animation: appear(); trigger() geometry: signal1redPoint dynamicShape: signalStop animation:appear(); trigger() Gleisgerade Gleishalbrund Lichtsignal rot Lichtsignal grün Lichtsignal rot Lichtsignal grün Vom Gleisplan zum Petrinetz

8. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 8 Vom Gleisplan zum Petrinetz keepAnimation() {..} Gleisgerade Gleishalbrund Lichtsignal rot Lichtsignal grün Lichtsignal rot Lichtsignal grün

9. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 9 Kommunikation PNSim PNVis PNSimVisuHandler createObject(Item) deleteObject(Item) sendMessage(Item) Item.setResult() startAnimation() fire transition animateObject(Item)

10. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 10 Kein Nutzen ohne Kosten Petrinetz Modell Datei Geometrie Datei 3D Modelle

11. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 11 Motivation PNSim HAL PNK

12. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 12 Beispiel: endEvent(arrive1) Item.setResult(Value) deleteObject(Item) createObject(Item) Sensor

13. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 13 Petrinetz mit Hardware Erweiterung Schienenstrang 1Schiene mit Sensor1Schienenstrang 2 Lichtsignal endEvent: arrive1 onAdd: switchToRed onAdd: switchToGreen endEvent: departure1endEvent: arrive2 Event: Action: grün rot

14. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 14 3D Modelle Kein Nutzen ohne Kosten Petrinetz Modell Datei Geometrie Datei Occurrence Datei Relation Datei HAL Hardware

15. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 15 Hardware Software Koordination PNSim Coordination Handler Super- Handler Multi- Simula- tor SlaveHandler MasterHandler

16. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 16 Hardware Software Koordination

17. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 17 Snapshot

18. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 18 Fazit HAL Polling PNSim Modelleisenbahn Coordination Handler PNToyTrain HWHandler Petrinetz PNK PNVis VisuHandler XML

19. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 19 Fragen? HAL Polling PNSim Modelleisenbahn Coordination Handler PNToyTrain HWHandler Petrinetz PNK PNVis VisuHandler Vielen Dank für Ihre Aufmerksamkeit. XML

20. University of Paderborn Software Engineering Group E. Kindler, F. Nillies 20 Fragen ??? (Gedankenstütze) Hier nochmal das Übersichtsdiagramm hin Geniale Schnittstelle ansprechen Dateien, bzw. alle Vorleistungen erwähnen Component Tools ?