Schmidt, K.

• Kristensen, L. M.; Schmidt, K.; Valmari, A.:
  Question-guided stubborn set methods for state properties. 2006.

• Hinz, Sebastian; Schmidt, Karsten; Stahl, Christian:
  Transforming BPEL to Petri Nets. 2005.

• Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian:
  Kommunizierende Workflow-Services modellieren und analysieren. 2005.

• Frenkler, Carsten; Schmidt, Karsten:
  Modellierung und Analyse transaktionaler Geschäftsprozesse. 2005.

• Massuthe, Peter; Schmidt, Karsten:
  Operating Guidelines for Services. 2005.

• Weinberg, Daniela; Schmidt, Karsten:
  Reduction Rules for Interaction Graphs. 2005.

• Schmidt, K.:
  Distributed Usability of Web Services. 2004.

• Schmidt, K.; Stahl, C.:
  A Petri net semantic for BPEL4WS validation and application. 2004.

• Schmidt, Karsten:
  Automated Generation of a Progress Measure for the Sweep-Line Method. 2004.

• Schmidt, Karsten:
  Using Petri Net Invariants in State Space Construction. 2003.

• Schmidt, K.:
  Distributed Verification with LoLa. 2002.

• Schmidt, Karsten:
  LoLA: A Low Level Analyser. 2000.

• Schmidt, K.:
  Narrowing the state space of Petri nets using the state equation. 2000.

• Schmidt, Karsten:
  Stubborn Sets for Standard Properties. 1999.

• Neuendorf, Klaus-Peter; Schmidt, Karsten; Kiritsis, Dimitris; Xirouchakis, Paul:
  Workflow Modelling and Analysis with Chameleon Nets. 1998.

• Schmidt, Karsten:
  Goal Oriented Stubborn Sets. 1998.

• Schmidt, Karsten:
  Symmetrien in der Erreichbarkeitsanalyse. 1998.

• Schmidt, Karsten:
  Model checking on Symbolic Reachability graphs of Petri nets. 1997.

• Schmidt, Karsten:
  Siphons, Traps and High-Level Nets with Infinite Color Domains. 1997.

• Schmidt, Karsten:
  Verification of Siphons and Traps for Algebraic Petri Nets. 1997.

• Schmidt, Karsten:
  Ein Verfahren zur Verifikation von ``Immer möglich'' und ``Möglich, daÑ immer''-Eigenschaften. 1996.

• Schmidt, Karsten:
  How to Calculate Symbolically Siphons and Traps of Algebraic Petri Nets. 1996.

• Schmidt, Karsten:
  Symbolische Analysemethoden für algebraische Petri-Netze. 1996.

• Schmidt, Karsten:
  Siphons and Traps for Algebraic Petri nets. 1996.

• Schmidt, Karsten:
  On the computation of Place Invariants for Algebraic Petri Nets. 1995.

• Schmidt, K.:
  Parameterized Reachability Trees for Algebraic Petri Nets. 1995.

• Schmidt, Karsten:
  Symmetrieberechnung. 1995.

• Schmidt, Karsten:
  Symmetry Calculation. 1995.

• Schmidt, Karsten:
  T-Invariants of Algebraic Petri Nets. 1994.

• Schmidt, Karsten:
  Symbolische Analysemethoden für algebraische Petri-Netze. 1994.

• Schmidt, Karsten:
  Computation of Invariants for Algebraic Petri Nets. 1993.

• Schmidt, Karsten:
  Symmetries of Petri Nets. 1993.

• Schmidt, Karsten:
  Implementation der Umgebung eines Programms zur Prüfung und Berechnung von Invarianten algebraischer Petri-Netze. 1993.

• Schmidt, Karsten; Starke, Peter H.:
  An Algorithm to Compute the Symmetries of Petri Nets. 1991.

Back to the Petri Nets Bibliography