Navigation

Kontakt

Leitung

Prof. Dr. Eike Best
(im Ruhestand seit 1. 10. 2018)

Sekretariat

Marion Bramkamp

+49-(0)441-798-4522

+49-(0)441-798-2965

A2 2-228

Resultate

Die Arbeit der Projektgruppe ist abgeschlossen und das Tool wurde der Öffentlichkeit zur Verfügung gestellt.

Das Projekt auf GitHub

Termine

12.04.13: Abschlusspräsentation

Projektgruppe APT

Dies ist der Web-Auftritt der Projektgruppe „Analyse von Petri-Netzen und Transitionssystemen“, die im Sommer 2012 und im Winter 2012/13 in der Abteilung Parallele Systeme gearbeitet hat. Ziel der Projektarbeitwart die Entwicklung eines leistungsfähigen Werkzeuges zur Analyse und Synthese von Petri-Netzen.

Gruppe

Publikationen

[Sch16b]

Uli Schlachter: Petri Net Synthesis for Restricted Classes of Nets. In: Application and Theory of Petri Nets and Concurrency - 37th International Conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016, Proceedings, Lecture Notes in Computer Science, Springer, 2016, 79-97, DOI: 10.1007/978-3-319-39086-4_6.

[BS15]

Eike Best and Uli Schlachter. Analysis of Petri Nets and Transition Systems. In: Proc. 8th Interaction and Concurrency Experience (ICE), Knight, Sophia, Ivan Lanese, Alberto Lluch Lafuente und Hugo Torres Vieira (eds.), Grenoble, France, 4-5th June 2015, volume 189 of Electronic Proceedings in Theoretical Computer Science, pp. 53-67, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2015.6, DOI:10.4204/EPTCS.189.

Webmajziimstpulsnerrvok (marcozpja1.gr85awunder@uoluv.de) (Stand: 18.02.2020)