Buchholz, P.

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

• Buchholz, Peter; Tarasyuk, Igor Valerievich:
  Equivalences for stochastic Petri nets and stochastic process algebras. 2006.

• Buchholz, P.:
  Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. 2001.

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

• Buchholz, Peter; Tarasyuk, Igor V.:
  Net and algebraic approaches to probabilistic modeling. 2001.

• Buchholz, Peter; Tarasyuk, Igor V.:
  A class of stochastic Petri nets with step semantics and related equivalence notions. 2000.

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

• Bause, F.; Buchholz, P.:
  Queueing Petri nets with product form solution. 1998.

• 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.

• Buchholz, Peter:
  Iterative Decomposition and Aggregation of Labeled GSPNs. 1998.

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

• Bause, Falko; Buchholz, Peter:
  Aggregation and Disaggregation in Product Form Queueing Petri Nets. 1997.

• Buchholz, Peter:
  Hierarchical Structuring of Superposed GSPNs. 1997.

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

• Buchholz, Peter:
  A Notion of Equivalence for Stochastic Petri Nets. 1995.

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

• Bause, F.; Buchholz, P.:
  Product Form Queueing Petri Nets: A Combination of Product Form Queueing Networks and Product Form Stochastic Petri Nets. 1994.

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

• Buchholz, Peter:
  Hierarchical High Level Petri Nets for Complex System Analysis. 1994.

• Buchholz, Peter:
  Aggregation and Reduction Techniques for Hierarchical GCSPNs. 1993.

• Buchholz, Peter:
  Hierarchies in Colored GSPNs. 1993.

• Buchholz, Peter:
  A Hierarchical View of GCSPNs and its Impact on Qualitative and Quantitative Analysis. 1992.

Back to the Petri Nets Bibliography