In der Zeit vom 22. bis 26. Juni dieses Jahres findet die 47. Konferenz "Petri Nets 2026" in Hamburg statt, die von der Universität Hamburg und der HAW Hamburg organisiert wird. Alle Informationen sowie eine Anmeldemöglichkeit finden Sie auf der Website der Konferenz - Anmeldefrist ist der 19. Juni.
Dort wird anlässlich seines 100. Geburtstages Prof. Dr. Carl Adam Petri (1926-2010) mit einem Festakt geehrt, der durch die von ihm eingeführten Petri-Netze und die zugehörige Grundlagenforschung weltberühmt ist. Petri hat seit 1988 als Professor an der Universität Hamburg gelehrt und dazu beigetragen, Hamburg zu einem renommierten Forschungsstandort in dem Gebiet zu machen.
Petri-Netze sind heute Grundlage einer unüberschaubaren Vielfalt von Software zur Darstellung und Steuerung von technischen und wirtschaftlichen Systemen, insbesondere wenn diese partiell unabhängige Komponenten enthalten, wie Eisenbahn-, Flugzeug-, Maschinenbau- und Geschäftsprozesse. Letztere gelten als Killerapplikationen für Petrinetze. Durch das sog. "process mining" wird die Arbeit von Petri heute als bahnbrechend für Prozessintelligenz angesehen. Auf der Tagung werden auch die Ergebnisse des Model Checking Contest vorgestellt. Dies ist ein Wettbewerb, auf dem Tools zur Analyse von Systemen mit bis zu Billionen von Zuständen konkurrieren.
Organisatoren:
Prof. Dr. Michael Köhler-Bußmeier ist Professor für Theoretische Informatik an der HAW Hamburg (seit 2013) und Privatdozent an der Universität Hamburg (seit 2010). Er ist Mitglied im HAW Hamburg Competence Center „Smart Systems in Society (3S)“ und im Promotionsprogramm CEADS (ComputationEngineering and Applied Data Science). Seine Forschungsgebiete sind Petri-Netze und selbst-organisierende Multi-Agentensysteme.
Dr. Daniel Moldt ist Leiter des Labors für agenten- und organisationsorientierte Systeme (seit 1996). Er ist für die Lehrveranstaltungen zu Petri-Netzen im BSc und MSc zuständig. In Scrum@Scale Projekten mit ca. 50 Studierenden und Doktoranden entwickelt er eines der meistgenutzten Petri-Netz-Werkzeuge: Renew.
