For the most recent entries see the Petri Nets Newsletter.

Korrektheit des Netzmodells für den CCR-Algorithmus - Entwurf eines Verfahrens zur parametrisierten Erreichbarkeitsanalyse.

Thieler-Mevissen, G.

Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn, Arbeitspapiere der GMD Nr. 301, March 1988. In German.

Abstract: In dem Arbeitspapier der GMG ``A Formal Model of the CCR Algorithm'' haben Baumgarten, Ochsenschläger und Prinoth den ISO Normvorschlag ISO/DIS 8649/3, Definition von gemeinsamen Dienstelementen - Teil 3: Commitment, Concurrency, and Recovery (CCR) durch Produktnetze modelliert. Aufgabe der vorliegenden Arbeit ist die Verifizierung dieses Netzmodells.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography