Falko Bause

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

2018

SLA Tool.

[BibT_eX]

[DOI]

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

2017

A Tool Supporting the Analytical Evaluation of Service Level Agreements.

[BibT_eX]

[DOI]

Johannes May

Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Equivalence and Lumpability of FSPNs.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2010

A Simulation Environment for Hierarchical Process Chains Based on OMNeT++.

[BibT_eX]

[DOI]

Simul., 2010

Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes.

[BibT_eX]

[DOI]

Gábor Horváth

Proceedings of the QEST 2010, 2010

ProFiDo - The Processes Fitting Toolkit Dortmund.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

ProFiDo - A Toolkit for Fitting Input Models.

[BibT_eX]

[DOI]

Philipp Gerloff

Proceedings of the Measurement, 2010

2009

Efficient Validation of Process-based Simulation Models.

[BibT_eX]

[DOI]

Sebastian Vastag

Simul. Notes Eur., 2009

Simulation based Validation of Quantitative Requirements in Service Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2009 Winter Simulation Conference, 2009

A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes.

[BibT_eX]

[DOI]

Proceedings of the 2009 Winter Simulation Conference, 2009

2008

A Framework for Simulation Models of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation: Metrics, 2008

Simulating process chain models with OMNeT++.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

2007

Detecting non-ergodic simulation models of logistics networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

2004

Hybrid Performability Analysis of Logistic Networks.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004

The ProC/B-Approach from informal descriptions to formal models.

[BibT_eX]

Carsten Tepper

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Simulation output analysis: truncation point estimation using multiple replications in parallel.

[BibT_eX]

[DOI]

Mirko Eickhoff

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

On non-ergodic infinite-state stochastic Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

2002

The ProC/B Toolset for the Modelling and Analysis of Process Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 2002

Stochastic Petri nets - an introduction to the theory (2. ed.).

[BibT_eX]

Pieter S. Kritzinger

Vieweg, ISBN: 978-3-528-15535-3, 2002

2001

Modellierung und Analyse von Supply Chains.

[BibT_eX]

[DOI]

Michael Kaczmarek

Wirtschaftsinf., 2001

1998

Stochastic Perti Nets: An Introduction to the Theory.

[BibT_eX]

[DOI]

Pieter S. Kritzinger

SIGMETRICS Perform. Evaluation Rev., 1998

Queueing Petri Nets with Product Form Solution.

[BibT_eX]

[DOI]

Perform. Evaluation, 1998

A Toolbox for Functional and Quantitative Analysis of DEDS.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1997

Aggregation and disaggregation in product form queueing Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

HiQPN-Tool.

[BibT_eX]

Proceedings of the MMB '97, 1997

Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets.

[BibT_eX]

Proceedings of the MMB '97, 1997

Analysis of Petri Nets with a Dynamic Priority Method.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

On the Analysis of Petri Nets with Static Priorities.

[BibT_eX]

[DOI]

Acta Informatica, 1996

Stochastic Petri nets - an introduction to the theory.

[BibT_eX]

Pieter S. Kritzinger

Advanced studies of computer science, Vieweg, ISBN: 978-3-528-05535-6, 1996

1995

Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool.

[BibT_eX]

[DOI]

Michael Sczittnick

Informationstechnik Tech. Inform., 1995

SDL and Petri net performance analysis of communicating systems.

[BibT_eX]

Proceedings of the Protocol Specification, 1995

QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

1994

QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 1994

1993

Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Qualitative und Quantitative Analysis of Timed SDL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Kommunikation in Verteilten Systemen, 1993

Programmieren mit C++ Version 3 - eine Anleitung für Studium und Praxis.

[BibT_eX]

Wolfgang Tölle

Vieweg, ISBN: 978-3-528-05324-6, 1993

1992

An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1992, 1992

Funktionale Analyse zeitbehafteter Petri-Netze.

[BibT_eX]

[DOI]

Deutscher Universitätsverlag, ISBN: 978-3-8244-2025-4, 1992

1990

Protocol Analysis Using a Timed Version of SDL.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1990

1989

Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen.

[BibT_eX]

[DOI]