„Petrinetze“ beschreiben komplexe Systeme, etwa Geschäftsprozesse in Unternehmen. Zur zügigen Prüfung dieser Petrinetze entwickelte Robin Bergenthum in seiner Dissertation einen Algorithmus. [21.01.2015]
Weiterlesen...
Weiterlesen...