6. AWPN 1999: Frankfurt, Germany

Jörg Desel, Andreas Oberweis (Eds.): 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11. - 12., 1999. CEUR Workshop Proceedings 26 CEUR-WS.org 1999

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.

Last update Wed Feb 15 04:55:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page