Kemper, P.

• Buchholz, Peter; Möller, Dennis; Kemper, Peter; Thümmler, Axel:
  OPEDo: a tool framework for modeling and optimization of stochastic models. 2006.

• Bause, F.; Beilner, H.; Fischer, M.; Kemper, P.; Völker, M.:
  The ProC/B Toolset for the Modelling and Analysis of Process Chains. 2002.

• Buchholz, P.; Kemper, P.:
  Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. 2001.

• Tepper, Carsten; Kemper, Peter:
  APNNed goes Internet. 2001.

• Donatelli, Susanna; Kemper, Peter:
  Integrating Synchronization with Priority into a Kronecker Representation. 2000.

• Kemper, P.:
  Logistic Process Models Go Petri Nets. 2000.

• Kemper, P.:
  Some Notes about Petri Net Interchange Formats. 2000.

• Buchholz, Peter; Kemper, Peter:
  A Toolbox for the Analysis of Discrete Event Dynamic Systems. 1999.

• Kemper, P.:
  A mapping of autonomous net condition event systems to GSPNs. 1999.

• Buchholz, Peter; Kemper, Peter:
  APNNed - a Net Editor and Debugger within the APNN Toolbox. 1998.

• Buchholz, P.; Kemper, P.:
  On generating a hierarchy for GSPN analysis. 1998.

• Bause, F; Buchholz, P.; Kemper, P.:
  A Toolbox for Funtional and Quantitative Analysis of DEDS. 1998.

• Bause, F.; Buchholz, P.; Kemper, P.:
  Integrating Software and Hardware Performance Models Using Hierarchical Queueing Petri Nets. 1997.

• Kemper, Peter:
  Transient Analysis of Superposed GSPNs. 1997.

• Bause, F.; Kabutz, H.; Kemper, P.; Krintzinger, P.:
  SDL and Petri net performance analysis of communicating system. 1996.

• Kemper, Peter:
  Reachability Analysis Based on Structured Representations. 1996.

• Bause, Falko; Buchholz, Peter; Kemper, Peter:
  QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets. 1995.

• Buchholz, Peter; Kemper, Peter:
  Numerical Analysis of Stochastic Marked Graph Nets. 1995.

• Kemper, Peter:
  Numerical Analysis of Superposed GSPNs. 1995.

• Bause, F.; Buchholz, P.; Kemper, P.:
  Hierarchically Combined Queueing Petri Nets. 1994.

• Bause, F.; Kemper, P.:
  QPN-Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets. 1994.

• Bause, Falko; Kemper, Peter; Kritzinger, Pieter:
  Abstract Petri Net Notation. 1994.

• Bause, F.; Kemper, P.:
  Queueing Petri Nets. 1993.

• Kemper, Peter:
  Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. 1993.

• Kemper, Peter; Bause, Falko:
  An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free Choice Nets. 1991.

Back to the Petri Nets Bibliography