AWPN`98 Tagungsbeiträge

Die Verantwortung für die Inhalte der Verweise liegt bei den jeweiligen Autoren selbst.

Montag, 5.10.98

Session 1: Petri Netz Tools I

• Harald Störrle,
  Erfahrungen aus einer Vergleichsstudie über Petri Netz Werkzeuge
  als zusätzlicher Hinweis: Text der Vergleichsstudie
• Peter Buchholz, Peter Kemper et al.
  APNNed - a Net Editor and Debugger within the APNN Toolbox
• Mourad Chouikha, Alexander Fay, Eckehard Schnieder
  Konzept eines Framework für Petrinetz-Editoren

Session 2: Zeitbehaftete Netze

• Elmar Bihler, Walter Vogler
  FastAsy - Ein Tool zur zeitlichen Effizienzbestimmung
• Jörg Desel, Thomas Erwin
  Leistungsbewertung von Geschäftsprozessen
• Louchka Popova-Zeugmann
  BDDs und zeitabhängige Petri-Netze

Session 3: Petri Netz Tools II

• Stefan Haar
  PEPINA: INA Net Analysis in the PEP Environment
• Ekkart Kindler, Frank Oschmann
  The Petri Net Kernel: an INA Pilot
• Gisbert Dittrich
  Gedanken zur Definition von AV-Petrisystemen und diesen Systemtyp unterstützende Tools
• Olaf Kummer
  Simulating Synchronous Channels and Net Instances

Dienstag, 6.10.98

Session 4: Stochastische Petri Netze und ihre Analyse

• Kerstin Buchacker
  Integration erweiterter Fehlerbäume und generalisierter stochastischer Petrinetze
• Bruno Brosowski, Antonio R. da Silva
  On Petri Nets with Stochastic Firing Modes
• Bodewijn Haverkort, Henrik Bohnenkamp, Alexander Bell
  Effiency Improvements in the Evaluation of Large Stochastic Petri Nets

Session 5: Funktionale Analyse von Petri Netzen

• Peter Starke
  Deadlock Falle Eigenschaften in Signal-Ereignis-Netzen
• Karsten Schmidt
  Symmetrien in der Erreichbarkeitsanalyse
• Stephan Roch
  Komponentenweise Sicht auf sture Mengen

Session 6: Netzbasierte Formalismen

• Christoph Schneider, Joachim Wehler
  Commutative Algebra Applied to Net Theory
• Rudolf Kruse, Kurt Lautenbach
  Bayessche Petri Netze
• Klaus-Peter Neuendorf, Paul Xirouchakis, Dimitris Kiritsis
  Von Petrinetzen über Objekt Systeme zu Chameleon Netzen und zurück
• N. Bauer, S. Kowalewski, J. Preußig, O. Stursberg, H. Treseler
  Bedingungs/Ereignis-Systeme und ihre Verwendung zur Modellierung und Verifikation diskret gesteuerter kontinuierlicher Prozesse

 
• Über dieses Dokument ...