| 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