Anwendung zur Katalogisierung der Eigenschaften von Petrinetzen und Transitionssystemen und ihren Beziehungen. Alexandra Reger

Transkript

1 Anwendung zur Katalgisierung der Eigenschaften vn Petrinetzen und Transitinssystemen und ihren Beziehungen Alexandra Reger

2 Inhalt Vrgehen Therie Petrinetze Transitinssysteme Prblemstellung Knzept Anfrderungen Darstellung der Ergebnisse Suche Datenbank Pflege Zeitplan

3 Vrgehen - Human Centered Design Prcess Knzept entspricht Anfrderungen Nutzungskntext feststellen Evaluatin Anfrderungsanalyse Knzept erstellen

4 Therie Petrinetz (PN) Tupel (P, T, F, B) P Places/Stellen T Transitinen F frward-matrix B backward-matrix

5 Therie Transitinssystem (TS) Tupel (S, A, T, S0) S States/Zustände A Labels/Markierungen T Transitinsrelatin S0 Startzustände

6 Therie Eigenschaften flgern ausschließen Beispiel Suche für Vermutungen, Sätze weak frward determinism persistent strng frward determinism

7 Prblemstellung Beispiel: Fr labelled transitin systems which are finite ttally reachable weakly frward deterministic persistent weak peridicity disjint small cycles mild cycle-cnsistency disjint small cycles prime cycles disjint small cycles prime cycles full backward determinism strng cycle cnsistency mild cycle-cnsistency full backward determinism prime cycles weak cycle-cnsistency path-nndisjintness prime cycles simple cycle-cnsistency full backward determinism Vrausgesetzte Eigenschaften Geflgerte Eigenschaften

8 Prblemstellung Keine Übersicht der Eigenschaften Suche ineffizient finite ttally reachable weakly frward deterministic persistent weak peridicity disjint small cycles weak cycle-cnsistency simple cycle-cnsistency mild cycle-cnsistency strng cycle cnsistency prime cycles full backward determinism path-nndisjintness

9 Prblemstellung Keine Übersicht der Eigenschaften Suche ineffizient Zusammenhänge nicht sichtbar weak peridicity disjint small cycles mild cycle-cnsistency disjint small cycles prime cycles disjint small cycles prime cycles full backward determinism strng cycle cnsistency mild cycle-cnsistency full backward determinism prime cycles weak cycle-cnsistency path-nndisjintness prime cycles simple cycle-cnsistency full backward determinism

10 Prblemstellung Keine Übersicht der Eigenschaften Suche ineffizient Zusammenhänge nicht sichtbar prime cycles full backward determinism strng cycle cnsistency prime cycles simple cycle-cnsistency full backward determinism prime cycles simple cycle cnsistency strng cycle cnsistency

11 Knzept Anfrderungen an die Sftware Benutzerfreundlich Fkus auf Darstellung der Ergebnisse Darstellung der Beziehungen Entwurfsentscheidungen Webanwendung

12 Knzept 2 Hauptfunktinen Suche vn Aussagen Datenbank Pflege

13 Knzept Suche Darstellung der Ergebnisse Fr labelled transitin systems which are finite ttally reachable weakly frward deterministic persistent weak peridicity disjint small cycles mild cycle-cnsistency disjint small cycles prime cycles disjint small cycles prime cycles full backward determinism strng cycle cnsistency mild cycle-cnsistency full backward determinism prime cycles weak cycle-cnsistency path-nndisjintness prime cycles simple cycle-cnsistency full backward determinism

14 Knzept Suche Darstellung der Ergebnisse finite Ttally reachable Weakly frward deterministic Persistent Weak peridicity Ttally reachable Weakly frward deterministic Persistent Mild cycle-cnsistency Ttally reachable Weakly frward deterministic Persistent prime-cycles Ttally reachable Weakly frward deterministic Persistent Prime-cycles Simple cycle-cnsistency Ttally reachable Weakly frward deterministic Persistent Prime-cycles Full backward determinism Ttally reachable Weakly frward deterministic Persistent Prime-cycles Weak cycle-cnsistency Disjint small cycles Full backward determinism Strng cycle-cnsistency Path-nndisjintness

15 Knzept Suche Darstellung der Ergebnisse Finite Ttally reachable Weakly frward deterministic Persistent Weak peridicity Mild cycle-cnsistency Prime-cycles Simple cycle-cnsistency Weak cycle-cnsistency Disjint small cycles Full backward determinism Path-nndisjintness Strng cycle-cnsistency

16 Knzept Suche Vrgehensweise

17 Knzept Suche Vrgehensweise Chse Prperties Prperty 1 Prperty 4 Prperty 2 Prperty 5 Prperty 3 Prperty 6 Next

18 Knzept Suche Vrgehensweise Chse Prperties Prperty 1 Prperty 4 Prperty 2 Prperty 5 Prperty 3 Prperty 6 Next

19 Knzept Suche Vrgehensweise Prperty 3 X Prperty 5 X Expand Prperty 1 Prperty 7

20 Knzept Suche Vrgehensweise Shw Definitin Prperty 3 Prperty 1 Prperty 5 Definitin descriptin X X Reference Expand Prperty 1 Prperty 7 Clse

21 Knzept Suche Vrgehensweise Prperty 3 X Prperty 5 X Expand Prperty 1 Prperty 7

22 Knzept Suche Vrgehensweise Prperty 3 Prperty 5 X X Prperty 8 Prperty 9 Prperty 2 Prperty 12 Prperty 6 Prperty 1 Prperty 7 Prperty 4 Prperty 10 Prperty 17 Prperty 15

23 Knzept Datenbank Pflege persistent Eigenschaften Definitinen Quellen Aussagen If fr all states s, s, s S, and labels t u, if s[t s and s[u s, the there is sme state r S such that bth s [u r and s [t r Applicatin and Thery f Petri Nets and Cncurrency: 37th Internatinal Cnference, PETRI NETS 2016, Truń, Pland, June 19-24, 2016 finite ttally reachable weakly frward deterministic persistent weak peridicity disjint small cycles

24 Knzept Datenbank Pflege Eigenschaften

25 Knzept Datenbank Pflege Eigenschaften hinzufügen Add new Prperty Name Definitin Definitin 1 New Definitin preview Add

26 Knzept Datenbank Pflege Eigenschaften bearbeiten Edit Prperty Name Prperty 5 Definitin Definitin descriptin 1 Edit Remve Reference Edit Definitin descriptin 2 Edit Remve

27 Zeitplan Dauer Aufgabe 1 Wche Umfrage durchführen 1 Wche Anfrderungsanalyse 1 Wche Knzept anpassen 6 Wchen Implementierung GUI Datenbank Funktinalität 1 Wche Einführung schreiben 1 Wche Dkumentatin schreiben 2 Wchen Evaluatin durch Benutzer und Anpassung 1 Wche Fazit schreiben 2 Wchen Fehlersuche, Krrektur, Puffer 16 Wchen

28 Fazit Webanwendung Funktinen: Datenbank Pflege Aussagen Suche Ziele Eigenschaften Definitinen Darstellung Zusammenhänge, Beziehungen effiziente Suche benutzerfreundlich

29 Quellen Best, Eike und Devillers, Raymnd: The Pwer f Prime Cycles, F. Krdn and D. Mldt: PETRI NETS 2016, LNCS 9698, S. 74, Springer Internatinal Publishing Switzerland, 2016 Priese, Lutz und Wimmel, Harr: Theretische Infrmatik : Petri-Netze, Springer- Verlag Berlin Heidelberg, 2003 Grafiken Kursu, Masaaki: Human Centered Design: Secnd Internatinal Cnference, HCD 2011, Springer Science & Business Media, 2011

30 Vielen Dank für die Aufmerksamkeit.