[CEUR Workshop Proceedings] Vol-65

© 2002 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.





PROMISE 2002
Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen




Gemeinsames Fachgruppentreffen der GI-Fachgruppen "Petrinetze und verwandte Systemmodelle" und "Entwicklungsmethoden für Informationssysteme und ihre Anwendung" (EMISA)

Workshop Homepage

Hasso-Plattner-Institut für Softwaresystemtechnik an der Universität Potsdam, 9.-11. Oktober 2002

Edited by

Jörg Desel#
Mathias Weske *


# Katholische Universität Eichstätt-Ingolstadt, 85071 Eichstätt, Germany
* Hasso-Plattner-Institut für Softwaresystemtechnik an der Universität Potsdam, 14482 Potsdam, Germany




Table of Contents

  1. Vorwort
    Jörg Desel, Mathias Weske
  2. DAWN for component based systems - just a different perspective
    Ekkart Kindler
  3. Petri net markup language: implementation and application
    Christian Stehno
  4. Modellierung von Geschäftsprozessen in der Unified Modeling Language und ihre Transformation in Petrinetze
    David Kreische
  5. Tutorium: Evaluierung von GPM-Modellierungswerkzeugen
    Markus Nüttgens
  6. Integrierte Dokumenten- und Ablaufmodellierung von E-Business-Prozessen
    Kirsten Lenz, Andreas Oberweis
  7. Fallbehandlung: Ein Neuer Ansatz zur Unterstützung Prozessorientierter Informationssysteme
    Hilmar Schuschel, Mathias Weske
  8. Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK)
    Markus Nüttgens, Frank J. Rump
  9. Tutorium: Validierung und Verifikation von Prozessmodellen
    Jörg Desel
  10. Vertragsbasiertes Prozessmanagement als Leitbild für die organisationsübergreifende Workflowunterstützung
    Ralf Klischewski, Ingrid Wetzel
  11. Distributed verification with LoLA
    Karsten Schmidt
  12. The home marking problem and some related concepts
    Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea
  13. D-extended Petri nets for simulating of digital devices
    Alexei Arkadievich Veselov
  14. Bericht EMISA-AG: Modellierung in Soziotechnischen Systemen
    Irene Maucher, Hansjürgen Paul, Christiane Rudlof
  15. Developing software families
    Silva Robak
  16. The biology Petri net markup language
    Ming Chen, Andreas Freier, Jacob Köhler, Alexander Rüegg
  17. Tutorium: Web basiertes Lernen: Stand, Konzepte und Entwicklungen
    Gottfried Vossen
  18. Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON
    Kurt Lautenbach, Jörg Müller, Stephan Philippi
  19. Ein konzeptionelles Architekturrahmenswerk für Web-Anwendungen
    Stefan Jablonski, Ilia Petrov, Christian Meiler
  20. A new reduction method for the analysis of large workflow models
    Loucif Zerguini, Kees Max van Hee

submitted by J. Desel, 20. November 2002