Promise 2002: Potsdam, Germany

Jörg Desel, Mathias Weske (Eds.): Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam. LNI 21 GI 2002, ISBN 3-88579-350-4

@proceedings{DBLP:conf/emisa/2002,
  editor    = {J{\"o}rg Desel and
               Mathias Weske},
  title     = {Prozessorientierte Methoden und Werkzeuge f{\"u}r die Entwicklung
               von Informationssystemen - Promise 2002, 9.-11. Oktober 2002,
               Potsdam},
  booktitle = {Promise},
  publisher = {GI},
  series    = {LNI},
  volume    = {21},
  year      = {2002},
  isbn      = {3-88579-350-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Ekkart Kindler: DAWN for component based systems - just a different perspective. 7-13
Christian Stehno: Petri net markup language: implementation and application. 14-25
David Kreische: Modellierung von Geschäftsprozessen in der Unified Modeling Language und ihre Transformation in Petrinetze. 26-32
Markus Nüttgens: Tutorium: Evaluierung von GPM-Modellierungswerkzeugen. 38-39
Kirsten Lenz, Andreas Oberweis: Integrierte Dokumenten- und Ablaufmodellierung von E-Business-Prozessen. 40-51
Hilmar Schuschel, Mathias Weske: Fallbehandlung: Ein Neuer Ansatz zur Unterstützung Prozessorientierter Informationssysteme. 52-63
Markus Nüttgens, Frank J. Rump: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). 64-77
Jörg Desel: Tutorium: Validierung und Verifikation von Prozessmodellen. 78-80
Ralf Klischewski, Ingrid Wetzel: Vertragsbasiertes Prozessmanagement als Leitbild für die organisationsübergreifende Workflowunterstützung. 81-93
Karsten Schmidt: Distributed verification with LoLA. 94-103
Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea: The home marking problem and some related concepts. 104-115
Alexei Arkadievich Veselov: D-extended Petri nets for simulating of digital devices. 116-127
Irene Maucher, Hansjürgen Paul, Christiane Rudlof: Bericht EMISA-AG: Modellierung in Soziotechnischen Systemen. 128-137
Silva Robak: Developing software families. 138-149
Ming Chen, Andreas Freier, Jacob Köhler, Alexander Rüegg: The biology Petri net markup language. 150-161
Gottfried Vossen: Tutorium: Web basiertes Lernen: Stand, Konzepte und Entwicklungen. 162
Kurt Lautenbach, Jörg Müller, Stephan Philippi: Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON. 163-174
Stefan Jablonski, Ilia Petrov, Christian Meiler: Ein konzeptionelles Architekturrahmenswerk für Web-Anwendungen. 175-187
Loucif Zerguini, Kees M. van Hee: A new reduction method for the analysis of large workflow models. 188-201