Petri Netze

aus wikipedia: Petri-Netz: Ein Petri-Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es stellt eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen dar. Die ursprüngliche Form der Petri-Netze nennt man auch Bedingungs- oder Ereignisnetz. Endliche Automaten und Bedingungs- oder Ereignisnetze sind gleich mächtig. Petri-Netze wurden durch Carl Adam Petri in den 1960er Jahren definiert. […]

YAWL – yet another workflow language

taken from the official website yawl-system: The last decade observed an increasing number of products entering the Business Process Management (BPM) market, all claiming to address every conceivable workflow issue an organisation may face.  Yet organisations still encounter problems sourcing a BPM solution capable of capturing processes that require advanced concurrency concepts. YAWL (Yet Another […]