Projektgruppe APT

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

Logo der PG APT

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

Von links nach rechts: Dennis Borde, V. Spreckels, Chris Schierholz, Uli Schlachter, Manuel Gieseking, Dr. Hans Fleischhack, Daniel Lückehe, Vincent Göbel, Sören Dierkes, Dr. Elke Wilkeit, Renke Grunwald, Prof. Dr. Eike Best, Björn von der Linde, Maike Schwammberger und Thomas Strathmann (abwesend: Raffaela Ferrari).

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, eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2015.6, DOI:10.4204/EPTCS.189.
(Stand: 16.03.2023)  |