| Vol-26 © 1999 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

6. Workshop

Algorithmen und Werkzeuge
für Petrinetze (AWPN'99)

Frankfurt, Germany, October 11. - 12., 1999

Jörg Desel, Andreas Oberweis (eds.)

Vorwort

Proceedings

Nasreddine Aoumeur, Stefan Conrad, Gunter Saake:
Prototyping Object Specifications Using the CO-Nets Approach

Thomas Freytag:
Ablaufvisualisierung durch topologisch angeordnete Kausalnetze

Rudolf J. Kruse, Kurt Lautenbach:
Constraint Satisfaction mit Petri-Netzen

Olaf Kummer:
Tight Integration of Java and Petri Nets

Stephan Philippi:
OOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten Modellierung

Nicolas Schiller:
Das Erreichbarkeitsproblem für Stetige Petri-Netze ist entscheidbar

Karsten Schmidt:
LoLA wird Pfadfinder

Christoph Schneider, Joachim Wehler:
Potential reachability in commutative nets

Ferucio Laurentiu Tiplea, Jörg Desel:
Petri Net Process Decomposition with Application to Validation

Michael Weber:
Der Petrinetz-Würfel im Petrinetz-Kern

submitted to CEUR-WS by Andreas Oberweis, January 24, 2000