List of Publications

  1. F. Bause, P. Buchholz and P. Kemper.
    A toolbox for functional and quantitative analysis of DEDS.
    Quantitative Evaluation of Comp. and Comm. Sys. pages 356--359, Springer LNCS 1469, 1998.

  2. F. Bause, P. Kemper and P. Kritzinger.
    Abstract Petri nets notation.
    Petri Net Newsletter, volume 49, pages 9--27, 1995.

  3. P. Buchholz and P. Kemper.
    Numerical Analysis Techniques in the APNN Toolbox.
    Workshop on Formal Methods in Performance Evaluation and Applications, pages 1--6, 1999.

  4. P. Buchholz and P. Kemper.
    On generating a hierarchy for GSPN analysis.
    ACM Performance Evaluation Review, volume 26, number 2, pages 5-14, 1998.

  5. P. Buchholz, M. Fischer and P. Kemper.
    Distributed steady state analysis using Kronecker Algebra.
    Numerical Solution of Markov Chains, pages 76-95, 1999.

  6. P. Buchholz.
    Hierarchical high level Petri nets for complex system analysis.
    Application and Theory of Petri Nets, R. Valette (ed.) Springer LNCS 815}, pages 119--138, 1994.

  7. P. Buchholz.
    Hierarchical structuring of superposed GSPNs.
    Proc. 7th Int. Worksh. on Petri Nets and Performance Models, IEEE CS-Press, pages 81--90, 1997.

  8. P. Buchholz.
    Structured analysis approaches for large Markov chains.
    Applied Numerical Mathematics, volume 31, number 4, pages 375-404, 1999.

  9. P. Buchholz.
    Hierarchical structuring of superposed GSPNs.
    IEEE Transactions on Software Engineering, volume 95, number 2, pages 166-181, 1999.

  10. P. Buchholz and P. Kemper.
    Hierarchical reachability graph generation for Petri nets.
    Forschungsbericht Nr.660 des Fachbereichs Informatik der Universität Dortmund, 1997.

  11. Peter Kemper.
    Logistic Processes go Petri nets.
    Philippi, S. (Hrsg.): 7. Workshop Algorithmen und Werkzeuge für Petri Netze, Koblenz: Universität Koblenz-Landau, pages 69-74, 7/2000.

  12. P. Buchholz, P. Kemper and APNNed group.
    APNNed - a net editor and debugger within the APNN Toolbox.
    In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, 5. Workshop Algorithmen und Werkzeuge für Petri Netze, pages 19-24
    Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 694, 1998.

  13. P. Kemper and R. Lübeck.
    Model checking based on Kronecker Algebra.
    Universität Dortmund, Forschungsbericht Nr. 669.

Lehrstuhl Informatik IV, Universität Dortmund
© 28.08.2001