| Stochastic Petri Nets - An Introduction to the Theory F Bause, P Kritzinger Vieweg; ISBN 3-528-15535-3, 2002 | 470* | 2002 |
| Queueing Petri Nets - A formalism for the combined qualitative and quantitative analysis of systems F Bause Proceedings of 5th International Workshop on Petri Nets and Performance …, 1993 | 233 | 1993 |
| Stochastic Petri nets: an introduction to the theory F Bause, PS Kritzinger (No Title), 1996 | 206 | 1996 |
| A Toolbox for Functional and Quantitative Analysis of DEDS F Bause, P Buchholz, P Kemper International Conference on Modelling Techniques and Tools for Computer …, 1998 | 131 | 1998 |
| An Efficient Polynomial-Time Algorithm to decide Liveness and Boundedness of Free-Choice Nets P Kemper, F Bause 13th International Conference on Application and Theory of Petri Nets, 263-278, 1992 | 76 | 1992 |
| The ProC/B Toolset for the Modelling and Analysis of Process Chains F Bause, H Beilner, M Fischer, P Kemper, M Völker International Conference on Modelling Techniques and Tools for Computer …, 2002 | 69 | 2002 |
| QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets F Bause, P Buchholz, P Kemper International Conference on Modelling Techniques and Tools for Computer …, 1995 | 67 | 1995 |
| Abstract Petri Net Notation F Bause, P Kemper, P Kritzinger Forschungsbericht des Fachbereichs Informatik der Universität Dortmund (Germany), 1994 | 61 | 1994 |
| Protocol Analysis Using a Timed Version of SDL. F Bause, P Buchholz IFIP TC/WG 6.1 Third International Conference on Formal Description …, 1990 | 56 | 1990 |
| Hierarchically Combined Queueing Petri Nets F Bause, P Buchholz, P Kemper 11th International Conference on Analysis and Optimization of Systems …, 1994 | 49 | 1994 |
| Analysis of Petri Nets with a Dynamic Priority Method F Bause International Conference on Application and Theory of Petri Nets, 215-234, 1997 | 41 | 1997 |
| QPN-Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets F Bause, P Kemper 7th International Conference on Modelling Techniques and Tools for Computer …, 1994 | 39 | 1994 |
| Queueing Petri Nets with Product Form Solution F Bause, P Buchholz Performance Evaluation 32 (4), 265-299, 1998 | 37 | 1998 |
| On the Analysis of Petri Nets with Static Priorities F Bause Acta Informatica 33, 669-685, 1996 | 37 | 1996 |
| "QN+ PN= QPN" -- Combining Queueing Networks and Petri Nets F Bause Forschungsbericht des Fachbereichs Informatik der Universität Dortmund (Germany), 1993 | 33* | 1993 |
| ProFiDo -- The Processes Fitting Toolkit Dortmund F Bause, P Buchholz, J Kriege Seventh International Conference on the Quantitative Evaluation of Systems …, 2010 | 32 | 2010 |
| SDL and Petri net performance analysis of communicating systems F Bause, P Kemper, H Kabutz, P Kritzinger 15th International Conference on Protocol Specification, Testing and …, 1995 | 31 | 1995 |
| Eine Modellwelt zur Integration von Warteschlangen-und Petri-Netz-Modellen F Bause, H Beilner 5 GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen …, 1989 | 26 | 1989 |
| Truncation Point Estimation using Multiple Replications in Parallel F Bause, M Eickhoff Proceedings of the 2003 Winter Simulation Conference, 414-421, 2003 | 25 | 2003 |
| Modellierung und Analyse von Supply Chains F Bause, M Kaczmarek Wirtschaftsinformatik 43, 569-578, 2001 | 22 | 2001 |
Jan KriegeTU DortmundVerified email at tu-dortmund.de
