Zum Navigationspfad Unterseiten von „Professur“ Zur Navigation Zum Schnellzugriff Zum Fuß der Seite mit weiteren Services
Zum Inhalt
Logo Lehrstuhl für praktische Informatik
Fakultät für Informatik
Studenten im Sommer auf dem Campus Nord, rote Zahnräder im Hintergrund © Roland Baege​/​TU Dortmund

Dr. Falko Bause

Anschrift
Dr. Falko Bause
Lehrstuhl IV
Fakultät für Informatik
Technische Universität Dortmund
D-44221 Dortmund

Telefon und E-Mail
Tel.: +49-231-755-4893
Fax: +49-231-755-4730
E-Mail: falko.bause (at) cs.tu-dortmund.de

Büro
Raum 213
Otto-Hahn-Straße 16
D-44227 Dortmund

Portrait Falko Bause © LS4​/​TU Dortmund

Lehrstuhl Informatik 4
TU Dortmund
Otto-Hahn-Straße 16
44227 Dortmund
Deutschland

Dr. Falko Bause holds a Diploma degree in Computer Science (Dipl.-Inform.) and a Doctoral Degree (Dr. rer. nat.), both from the University of Dortmund. Since 1987 he has taught and done research work in the area of system engineering with emphasis on Stochastic Petri Nets (see publications). He also defined the Queueing Petri Net  formalism, which combines Queueing Networks with Stochastic Petri Nets. In 1993, 1994 and 2005 he was on research and study leave at the University of Cape Town, South Africa. His research interests are in system engineering with emphasis on the combination of functional and quantitative (performance) analysis. Dr. Bause coauthored several books on C++  and a book with the title "Stochastic Petri Nets - An Introduction to the Theory".

 Publications, see List    or  Google Scholar  or  dblp.      ORCiD
 

Picture of a simple QPN © LS4​/​TU Dortmund

  • LSF General In­for­ma­ti­on

Publications

  1. Bause, F.; Tölle, W.
    Einführung in die Programmiersprache C++
    Friedr. Vieweg &Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1989.

  2. Bause, F.; Tölle, W.
    C++ für Programmierer
    Friedr. Vieweg &Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1. edition 1990, 2. revised edition 1991.

  3. Bause, F.
    Funktionale Analyse zeitbehafteter Petri-Netze
    Deutscher Universitäts Verlag, Wiesbaden (Germany), 1992.

  4. Bause, F.; Tölle, W.
    Das Vieweg Buch zu C++   Version 3
    Friedr. Vieweg &Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1992.

  5. Bause, F.; Tölle,  W.
    Programmieren mit C++   Version 3
    Friedr. Vieweg &Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1993.

  6. Beilner, H.; Bause, F. (eds.)
    Quantitative Evaluation of Computing and Communication Systems
    Lecture Notes in Computer Science, No 977, Springer-Verlag, 1995.

  7. Bause, F.; Kritzinger, P.S.
    Stochastic Petri Nets - An Introduction to the Theory
    Advanced Studies in Computer Science, Friedr. Vieweg &Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1996.

  8.  Bause, F.; Kritzinger, P.S.
    Stochastic Petri Nets - An Introduction to the Theory
    Friedr. Vieweg &Sohn Verlag, Braunschweig/Wiesbaden (Germany),
    Second Edition, 2002. (Available for download here)

  9.  Bause, F.; Buchholz, P. (eds.)
    Proceedings 14th GI/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems
    VDE Verlag (ISBN 978-3-8007-3090-2), 2008.

  10. Bause, F.; Beilner, H.; Kriege, J.
    ProC/B: Eine Modellierungsumgebung zur prozessketten-orientierten Beschreibung und Analyse logistischer Netze.
    in P. Buchholz, U. Clausen: Große Netze der Logistik - Die Ergebnisse des Sonderforschungsbereichs 559, Springer, 2009, S. 19-57.

  1. Bause, F.; Beilner, H.
    Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Welten.
    in: G. Stiege, J.S. Lie (eds.), Proc. 5 GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen und Netzen", Braunschweig (Germany), September 1989, Informatik Fachberichte 218, Springer Verlag, pp. 190 - 204.

  2. Bause, F.; Buchholz, P.
    Protocol Analysis Using a Timed Version of SDL.
    Proc. of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'90, Madrid (Spain), November 1990.
    in: J. Quemada, J. Manas, E. Vazquez (eds.):  Formal Description Techniques III, Elsevier, pp. 239 - 254, 1991.

  3. Kemper, P.; Bause, F.
    An Efficient Polynomial-Time Algorithm to decide Liveness and Boundedness of Free-Choice Nets
    in: K. Jensen (ed.): Proc. of the 13th International Conference on Application and Theory of Petri Nets, Sheffield (UK), June 1992, Springer, LNCS 616, pp. 263 - 278, 1992.

  4. Bause, F.; Buchholz, P.
    Qualitative and Quantitative Analysis of Timed SDL Specifications
    in: N. Gerner, H.-G. Hegering, J. Swoboda (eds.):  Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, München (Germany), March 1993, Springer Aktuell, pp. 486-500, 1993. (abstract)

  5. Bause, F.; Kemper, P.
    Queueing Petri Nets
    3. Fachtagung "Entwurf komplexer Automatisierungssystem, Braunschweig (Germany), Mai 1993.
    in E. Schnieder (ed.): Methoden, Anwendungen und Tools auf Basis von Petri-Netzen, Verlag Technische Uni Braunschweig Inst. f. Regelungs- und Automatisierungstechnik, pp. 219-236, 1993.

  6. Bause, F.
    Queueing Petri Nets - A formalism for the combined qualitative and quantitative analysis of systems
    5th International Workshop on Petri Nets and Performance Models, Toulouse (France), Oct. 1993, IEEE Comp.Soc. Press, pp. 14-23, 1993. (abstract)

  7. Bause, F.; Kemper, P.
    QPN-Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets
    in: G. Haring, G. Kotsis (eds.): Proc. of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna (Austria), May 1994, Springer, pp. 321-334, 1994.

  8. Bause, F. ; Buchholz, P.; Kemper, P.
    Hierarchically Combined Queueing Petri Nets
    in: G. Cohen, J.P. Quadrat (eds.): Proc. of the 11th International Conference on Analysis and Optimization of Systems, Discrete Event Systems, Sophie-Antipolis (France), June 1994, Springer LNCI 199, pp. 176-182, 1994.

  9. Bause, F.; Kritzinger, P.S.; Sczittnick, M.
    Markovian Analysis of DQDB MAC Protocol
    South African Computer Journal (SACJ), Vol. 11, pp. 47-57, 1994. (abstract)

  10. Bause, F.; Kabutz, H.; Kemper, P.; Kritzinger, P.
    SDL and Petri net performance analysis of Communicating systems
    15th International Symposium on Protocol Specification, Testing and Verification, Warsaw (Poland), June 1995,in: Protocol Specification, Testing and Verification XV, Chapman & Hall, pp. 269-282, 1995.

  11. Bause, F.; Sczittnick, M.
    Design von Modellierungstools zur Leistungsbewertung -HIT, MACOM, QPN-Tool-
    it+ti, Informationstechnik und Technische Informatik, No 3, Oldenbourg, pp. 34-39, 1995. (abstract)

  12. Bause, F.; Buchholz, P.; Kemper, P.
    QPN-Tool for the Specification and Analysis of Hierarchically Combined Queueing Petri Nets
    in: Beilner, H.; Bause, F. (eds.): Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, No 977, Springer-Verlag, 1995, pp. 224-238. (abstract)

  13. Bause, F.
    On the Analysis of Petri Nets with Static Priorities
    Acta Informatica, Vol. 33(7), pp. 669-685, 1996. (abstract)

  14. Donaldson, S.R.; Bause, F.; Kritzinger, P.S.
    The Complexity of Petri Net Transformations
    South African Computer Journal (SACJ), Vol. 18, pp. 45-56, 1996.

  15. Bause, F.; Buchholz, P.
    Aggregation and Disaggregation in Product Form Queueing Petri Nets
    Proc. of the 7th International Workshop on Petri Nets and Performance Models, Saint Malo (France), June 1997, IEEE Comp. Soc. Press, pp. 16-25. 1997. (abstract)

  16. Bause, F.
    Analysis of Petri Nets with a Dynamic Priority Method
    in: P. Azma, G. Balbo: Proc. of the 18th International Conference on Application and Theory of Petri Nets, Toulouse (France), June 1997, LNCS, Vol. 1248, Springer, pp. 215-234, 1997. (abstract)

  17. Bause, F.; Buchholz, P.; Kemper, P.
    Integrating Software and Hardware Performance Models Using Hierarchical Queueing Petri Nets
    Proc. of the 9. ITG / GI - Fachtagung Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, (MMB'97), 17.-19. September Freiberg (BRD), VDE-Verlag Berlin, pp. 87-101, 1997.

  18. Bause, F.; Buchholz, P.
    Queueing Petri Nets with Product Form Solution
    Performance Evaluation, Vol. 32 (4) pp. 265-299, 1998. (abstract)

  19. Bause, F.; Buchholz, P.; Kemper, P.
    A Toolbox for Functional and Quantitative Analysis of DEDS
    TOOLS'98 - 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Palma de Mallorca, Spain, September 14 - 18, Springer, pp. 356-359, 1998.

  20. Bause, F.; Beilner, H.
    Intrinsic Problems in Simulation of Logistic Networks
    Simulation in Industry, 11th European Simulation Symposium and Exhibition (ESS99), Erlangen (Germany), October 26-28, 1999, SCS Publishing House, pp. 193-198, 1999. (abstract)

  21. Arns, M.; Bause, F.; Kemper, P.; Schmitz, M.; Schweier, H.; Stüllenberg, F.; Völker, M.
    Gestaltung von Beschaffungsnetzwerken auf Basis einer prozeßkettenorientierten Modellierung
    Industrie Management (3), GITO Berlin, pp. 33-36, Juni 2000.

  22. Bause, F.; Beilner, H.; Kemper, P.
    Modellierung und Analyse von Logistiknetzwerken mit Prozessketten
    ASIM 2000, 14th Symposium Simulationstechnik, Hamburg, September 2000, SCS-Europe BVBA Ghent, pp. 63-67. 2000.

  23. Bause, F.; Boucherie, R.; Buchholz, P.
    Norton's theorem for batch routing queueing networks
    Communications in Statistics - Stochastic Models, Marcel Dekker New York, Vol 17 (1), pp. 39-60, 2001. (abstract)

  24. Bause, F.; Beilner, H.; Völker, M.
    A framework for the modelling and simulation of logistic networks
    4th International Eurosim Congress (EUROSIM 2001: Shaping Future with Simulation), June 26 - 29, 2001, Delft, The Netherlands, DBSS Le Berkel en Rodenrijs, 2001. (abstract)

  25. Arns, M.; Bause, F.
    An Instructive Example for Pitfalls in Simulation of Logistic Networks
    ESS'2001, Simulation in Industry, 13th European Simulation Symposium and Exhibition, Marseilles (France), October 18th-20th 2001, SCS-Europe Ghent, pp. 420-423, 2001. ( abstract)

  26. Bause, F.; Kaczmarek, M.
    Modellierung und Analyse von Supply Chains
    Wirtschaftsinformatik 43 (6), pp. 569-578, 2001. (abstract)

  27. Bause, F.; Beilner, H.; Fischer, M.; Kemper, P.; Völker, M.
    The Proc/B Toolset for the Modelling and Analysis of Process Chains
    12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, TOOLS 2002, London (UK),in: T. Field, P.G. Harrison, J. Bradley, U. Harder (eds): Computer Performance Evaluation, Modelling Techniques and Tools,Lecture Notes in Computer Science, No 2324, Springer, pp. 51-70, 2002. (abstract)

  28. Bause, F.; Eickhoff, M.
    Initial Transient Period Detection using Parallel Replications
    ESS'2002,  Dresden (Germany), October 23th-26th 2002,in: A. Verbraeck, W. Krug (eds.): Simulation in Industry, 14th European Simulation Symposium and Exhibition, SCS-Europe BVBA Ghent, pp. 85-92, 2002. (abstract)

  29. Bause, F.
    On Non-Ergodic Infinite-State Stochastic Petri Nets
    Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), IEEE Society Press, ISBN 0-7695-1976-8, pp. 84-92. (abstract) (Slides)

  30. Bause, F.
    Simulation logistischer Netze
    Tagungsband 17. Symposium Simulationstechnik ASIM 2003 an der Otto-von-Guericke-Universität Magdeburg, 16.- 19. September 2003 in Magdeburg., Hrsg. Rüdiger Hohmann, SCS-Europe BVBA, 2003, ISBN 3-936150-27-3, pp. 27-34. (abstract)

  31. Bause, F.; Eickhoff, M.
    Truncation Point Estimation using Multiple Replications in Parallel
    2003 Winter Simulation Conference December 7-10, New Orleans, Louisiana, USA, 2003. (abstract)

  32. Bause, F.; Buchholz, P.; Fischer, M.; Kemper, P.
    Hybrid Performability Analysis of Logistic Networks
    PADS2004: 18th Workshop on Parallel and Distributed Simulation May 16 - 19, 2004, Kufstein, Austria. (abstract)

  33. Bause, F.; Buchholz, P.; Tepper, C.
    The ProC/B-approach: From Informal Descriptions to Formal Models
    ISoLA - 1st International Symposium on Leveraging Applications of Formal Method, 30th October - 2st November 2004, Paphos, Cyprus. (abstract)

  34. Bause, F.; Buchholz, P.
    Modellierung von Supply Chains unter Berücksichtigung variierender Organisationsstrukturen.
    Tagungsband 12. ASIM Fachtagung, Simulation in Produktion und Logistik, Universität Kassel, 26. bis 27. September 2006, pp. 53-62. ISBN 3-936150-48-6.

  35. Bause, F.; Kriege, J.
    Detecting Non-Ergodic Simulation Models of Logistics Networks.
    Proc. of the Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2007), Nantes (France), October 23-25, 2007.

  36. Bause, F.; Buchholz, P.; Kriege, J.; Vastag, S.
    Simulating Process Chain Models with OMNeT++.
    Proc. of the First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2008), Marseille (France), March 3-7, 2008.

  37. Bause, F.; Buchholz, P.; Kriege, J.; Vastag, S.
    A Framework for Simulation Models of Service-Oriented Architectures.
    SPEC International Performance Evaluation Workshop 2008, SIPEW 2008, June 27-28, Darmstadt, Germany, LLNCS 5119, Springer, 2008. (Abstract at Springer) , (slides)

  38. Bause, F.; Kriege, J.; Vastag, S.:
    Efficient Validation of Process-based Simulation Models.
    Special Issue of the Simulation News Europe (SNE): Quality Aspects in Modelling and Simulation, August 2009 (ISSN 0929-2268), Vol. 19, No 2, pp. 30--38, 2009.

  39. Bause, F.; Buchholz, P.; Kriege, J.
    A Comparison of Markovian Arrival and ARMA/ARTA Processes for the Modeling of Correlated Input Processes.
    Winter Simulation Conference 2009 (WSC 2009), Dec. 13-16, Austin (Texas, USA), 2009.

  40. Bause, F.; Buchholz, P.; Kriege, J.; Vastag, S.
    Simulation Based Validation of Quantitative Requirements in Service Oriented Architectures.
    Winter Simulation Conference 2009 (WSC 2009), Dec. 13-16, Austin (Texas, USA), 2009.

  41. Bause, F.; Gerloff, Ph.; Kriege, J.
    ProFiDo -- A Toolkit for Fitting Input Models.
    in ''Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance'', Proc. of the 15th International GI/ITG Conference, MMB&DFT 2010, Essen (Germany), March 2010, Springer, LNCS 5987, pp. 311-314, 2010.

  42. Bause, F.; Buchholz, P.; Kriege, J.; Vastag, S.
    A Simulation Environment for Hierarchical Process Chains Based on OMNeT++.
    SIMULATION, Transactions of The Society for Modeling and Simulation International, Vol. 86, No 5-6, pp. 291-309, 2010.

  43. Bause, F.; Buchholz, P.; Kriege, J.
    ProFiDo -- The Processes Fitting Toolkit Dortmund.
    Proc. of the 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010,Williamsburg, Virginia, USA, September 15 - 18, pp. 87-96, 2010.

  44. Bause, F.; Horvath, G.
    Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes.
    Proc. of the 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010,Williamsburg, Virginia, USA, September 15 - 18, pp. 97-106, 2010. (slides)

  45. Bause, F.; Kriege, J.
    Correlated Random Number Generation for Simulation Experiments.
    Proc. of the ASIM Dedicated Conference on Simulation in Production and Logistics, Markus Rabe & Uwe Clausen (eds.), Fraunhofer IRB Verlag, Stuttgart 2015, pp. 641-650.

  46. Bause, F.; Buchholz, P.; May. J.
    A Tool Supporting the Analytical Evaluation of Service Level Agreements.
    Proc. of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017), L'Aquila (Italy), 22.-26. April 2017. pp. 233-244.

  47. Bause, F.; Buchholz, P.; Tarasyuk, I.; Telek., M.
    Equivalence and Lumpability of FSPNs.
    Proc. of the 24th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA 2017), Newcastle-upon-Tyne, UK, 10-12 July 2017, pp. 16-31.

  48. Bause, F.; Buchholz, P.
    SLA Tool.
    In Proc. of the 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, German R., Hielscher KS., Krieger U. (eds) Measurement, Modelling and Evaluation of Computing Systems. MMB 2018, LNCS 10740, Springer, Cham, 2018, pp. 302–306.
     
  49. Bause, F.
    An Efficient Brute Force Approach to Fit Finite Mixture Distributions.
    In: Hermanns H. (eds) Measurement, Modelling and Evaluation of Computing Systems. MMB 2020. Lecture Notes in Computer Science, vol 12040. Springer, Cham, 2020, pp. 208--224.
    (related material:   MATLAB sources of fitting tool;  collection of traces; PDF (draft version))
     
  50. Bause, F.; Blume, A.; Buchholz, P.; Puzicha, A.; Timmermann, A.
    Adaption of Stochastic Models (ASMo) - A Tool for Input Modeling -.
    In: Hillston, J., Soudjani, S., Waga, M. (eds) Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS 2024. Lecture Notes in Computer Science, vol 14996. Springer, Cham. https://doi.org/10.1007/978-3-031-68416-6_5

  1. Bause, F.
    Funktional und quantitativ analysierbare Rechensystemmodelle; über Verbindungen von Petrinetz- und Warteschlangen-Modellwelten
    Diplomarbeit, Fachbereich Informatik der Universität Dortmund (Germany), 1986.

  2. Bause, F.
    Probleme beim Einsatz zeitbehafteter Petri-Netze am Beispiel eines FTS
    6. Workshop Simulationsmethoden für verteilte, parallele Prozesse, Dortmund (Germany), April 1990.

  3. Bause, F.
    Problems in Combining Qualitative and Quantitative Analysis Using Generalized Stochastic Petri Nets
    Petri Net Newsletter 36, August 1990, pp. 17-21.

  4. Bause, F.
    No Way Out - The Timeless Trap
    Petri Net Newsletter 37, December 1990, pp. 4-8. (abstract)

  5. Bause, F.
    Funktionale Analyse zeitbehafteter Petri-Netze unter besonderer Berücksichtigung elementarer Voraussetzungen für eine quantitative Analyse
    Dissertation, Fachbereich Informatik der Universität Dortmund (Germany), 1991.

  6. Bause, F.; Beilner, H.
    Analysis of a Combined Queueing-Petri-Network World
    Forschungsbericht Nr. 383 des Fachbereichs Informatik der Universität Dortmund (Germany), 1991. (abstract)

  7. Kemper, P.; Bause, F.
    An Efficient Polynomial-Time Algorithm to decide Liveness and Boundedness of Free-Choice Nets
    Forschungsbericht Nr. 402 des Fachbereichs Informatik der Universität Dortmund (Germany), 1991.

  8. Bause, F.; Kritzinger, P.; Sczittnick, M.
    Markovian Analysis of the DQDB MAC Protocol
    Forschungsbericht Nr. 433 des Fachbereichs Informatik der Universität Dortmund (Germany), 1992.

  9. Bause, F.
    "QN + PN = QPN" - Combining Queueing Networks and Petri Nets
    Forschungsbericht Nr. 461 des Fachbereichs Informatik der Universität Dortmund (Germany), 1993. (abstract)

  10. Bause, F.
    Combining Qualitative and Quantitative Analysis of Generalized Stochastic Petri Nets
    Forschungsbericht Nr. 527 des Fachbereichs Informatik der Universität Dortmund (Germany), 1994. (abstract)

  11. Bause, F.; Buchholz, P.
    Product Form Queueing Petri Nets:A Combination of Product Form Queueing Networks and Product Form Stochastic Petri Nets
    Forschungsbericht Nr. 529 des Fachbereichs Informatik der Universität Dortmund (Germany), 1994. (abstract)

  12. Bause, F.; Beilner, H.; Kemper, P.
    QPN-Tool Encourages Queueing Petri Nets
    Short Papers and Tool Descriptions of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna (Austria), May 1994.

  13. Bause, F.; Kemper, P.; Kritzinger. P.
    Abstract Petri Net Notation
    Forschungsbericht Nr. 563 des Fachbereichs Informatik der Universität Dortmund (Germany), 1994. (abstract)

  14. Bause, F.
    Petri nets and priorities
    Forschungsbericht Nr. 564 des Fachbereichs Informatik der Universität Dortmund (Germany), 1995.

  15. Bause, F.; Beilner, H. (eds.)
    Performance Tools - Model Interchange Formats
    Forschungsbericht Nr. 581 des Fachbereichs Informatik der Universität Dortmund (Germany), 1995.

  16. Bause, F.; Kemper, P.; Kritzinger, P.
    A model description standard for Petri net performance modelling tools
    Forschungsbericht Nr. 581 des Fachbereichs Informatik der Universität Dortmund (Germany), 1995.

  17. Bause, F.; Buchholz, P.; Kemper, P.
    QPN-Tool - A Tool for Hierarchical Analysis of Queueing Petri Nets
    Forschungsbericht Nr. 581 des Fachbereichs Informatik der Universität Dortmund (Germany), 1995.

  18. Bause, F.; Kemper, P.;Kritzinger. P.
    Abstract Petri Net Notation
    Petri Net Newsletter 49, pp. 9-27, 1995.

  19. Bause, F.
    Analysis of Petri Nets with a Dynamic Priority Method
    Forschungsbericht Nr. 634 des Fachbereichs Informatik der Universität Dortmund (Germany), 1996.

  20. Bause, F.; Buchholz, P; Kemper, P.
    HiQPN-Tool
    in: K. Irmscher, Ch. Mittasch, K. Richter (eds.): 9. ITG/GI-Fachtagung "Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen" (MMB'97), Kurzbeiträge und Toolbeschreibungen, Freiberg (Germany), Reihe ``Informatik in Freiberg'', Band 4, TU Bergakademie Freiberg, Toolbeschreibung MMB'97, 1997.

  21. Bause, F.; Buchholz, P; Kemper, P.
    A toolbox for functional and quantitative analysis of DEDS
    Forschungsbericht Nr. 680 des Fachbereichs Informatik der Universität Dortmund (Germany), 1998.

  22. Bause, F.; Beilner, H.
    A short note on synchronisation in open systems
    Petri Net Newsletter 57, 1999, pp. 9-12.

  23. Beilner, H. ; Bause, F.; Tatlitürk, H.; van Almsick, A.; Völker, M.
    Zum B-Modellformalismus - Version B1 -
    SFB 559, Bericht-Nr. 99002, 1999.

  24. Beilner, H.; Bause, F. (Hrsg.)
    Angebote und Ziele der Methoden-Teilprojekte
    SFB 559, Bericht-Nr. 99010, 1999.

  25. Arns, M.; Bause, F.; Fischer, M.; Kemper, P.; Tatlitürk, H.
    Modellierung und Analyse des KV-Terminals im Güterverkehrszentrum
    SFB 559, Bericht-Nr. 00003, 2000.

  26. Bause, F.; Möller, Chr.
    Analysis of an intermodal terminal in freight villages
    SFB 559, Bericht-Nr. 00011, 2000.

  27. Arns, M.; Bause, F.; Beilner, H.; Fischer, M.; Völker, M.
    Beispielmodellierung von Behälterkreisläufen im B1-Paradigma --- Analyse
    SFB 559, Bericht-Nr. 00013, 2000.

  28. Bause, F.; Kaczmarek, M.
    Untersuchung der Vorteilhaftigkeit ausgewählter Versorgungsstrategien in der Supply Chain vor dem Hintergrund des Bullwhip-Effektes
    SFB 559, Bericht-Nr. 00026, 2000.

  29. Bause, F.; Beilner, H.; Kemper, P.
    Zur prozessorientierten Modellierung von Logistiknetzwerken
    Chemnitzer Netztagung "Vernetzt planen und produzieren", 20.+21. September 2001,Wiss. Schriftenreihe Inst. Betr. Wiss., Chemnitz, pp. 65-68, 2001.

  30. Bause, F.; Fischer, M.; Kemper, P., Völker, M.
    Performance and Cost Analysis of Supply Chain Models
    Proc. of the First Seoul International Simulation Conference(SeoulSim 2001), Seoul (Korea), 8.-10. October 2001, pp. 425-434, 2001.

  31. Bause, F.; Möller, Chr.
    Kombinierter Verkehr als Optimierungsaufgabe
    Fördertechnik (Zeitschrift f. Logistik, Materialfluss, Transport- und Lagertechnik, Technica Verlags AG (Rupperswil, Swiss)), pp. 6-9, March 2002.

  32. Bause, F.; Möller, Chr.
    Kapazitätsbestimmung eines Shuttle-Zuges mit Hilfe der Warteschlangentheorie
    Distribution (Logistik in Warenfluss und Verteilung), Vereinte Fachverlage (Mainz), pp. 51-53, April 2002.

  33. Bause, F.; Völker, M.
    A Modelling Paradigm for Process Chains in Logistics - On Requirements for Modelling Supply Chains
    Forschungsbericht Nr. 780 des Fachbereichs Informatik der Universität Dortmund (Germany), pp. 13-25, 2003;Workshop on Stochastic Petri nets and related formalisms ICALP 2003 Satellite Workshop Eindhoven, The Netherlands, June 28-29, 2003.

  34. Bause, F.
    Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems
    Forschungsbericht Nr. 781 des Fachbereichs Informatik der Universität Dortmund (Germany), 2003.

  35. Bause, F.; Beilner, H.; Schwenke, M.
    Semantik des ProC/B-Paradigmas
    Technical Report Sonderforschungsbereich 559 ``Modellierung großer Netze in der Logistik'' No. 03001, ISSN 1612-1376, 2003.

  36. Bause, F.; Bernhard, J.; Fender, T.; Völker, M.; Wenzel, S.
    Standardisierte Beschreibung von Eingangsdaten für die Simulation auf Basis des Prozesskettenparadigmas
    Technical Report Sonderforschungsbereich 559 ``Modellierung großer Netze in der Logistik'' No. 03004, ISSN 1612-1376, 2003.

  37. Bause, F.
    Input-Output Hidden Markov Models for the Aggregation of Performance Models
    Technical Report Sonderforschungsbereich 559 ``Modellierung großer Netze in der Logistik'' No. 03010, ISSN 1612-1376, 2003.

  38. Bause, F.
    Using Input-Output Hidden Markov Models for the Aggregation of Performance Models
    Forschungsbericht Nr. 787 des Fachbereichs Informatik der Universität Dortmund (Germany), 2004.

  39. Bause, F.; Geißen, T.; Meinke, A.; Tatah, V.; Völker, M.
    Performance Evaluation For Cost Calculation of Business Processes
    Technical Report Sonderforschungsbereich 559 ``Modellierung großer Netze in der Logistik'' No. 06006, ISSN 1612-1376, 2006.

  40. Bause, F.; Hegmanns, T.; Ohlbrecht, M.; Pietzarka, S.; Tatah, V.
    Ergebnisbericht der Arbeitsgruppe 1 Neues Problemverständnis: Ergänzung des Modellierungsparadigmas.
    Technical Report 07001, Sonderforschungsbereich 559 ``Modellierung großer Netze in der Logistik'', Universität Dortmund, 2007, ISSN 1612-1376.

  41. Bause, F.
    Doubly Stochastic and Circulant Structured Markovian Arrival Processes
    Technical Reports in Computer Science, No. 824, TU Dortmund, Dortmund (Germany), 2009. (abstract)

  42.  Bause, F.; Gerloff, P.; Kirman, A.; Kriege,J.; Scholtyssek, D.
    ProFiDo XML Configuration Format Specification, 2014. (project documentation)

  43.  Bause, F.; Gerloff, P.; Kirman, A.; Kriege, J.; Scholtyssek, D.
    ProFiDo XML Workflow Format Specification, 2014. (project documentation)

  44.  Bause, F.; Kriege, J.
    ProFiDo XML Interchange Format Specification, 2014. (project documentation)

Zum Seitenanfang