Abstract
We present a toolbox for the combined functional and quantitative analysis of discrete event dynamic systems (DEDS) on the basis of a common model interchange format, the Abstract Petri Net Notation (APNN,[5]). This format covers a fair amount of Petri net like formalisms as well as certain Queueing network concepts. At a lower level the toolbox uses a format for communicating stochastic automata, a notation to describe DEDS at a state transition level. For a more detailed description of the toolbox we refer to [3].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
F. Bause. Queueing Petri Nets — A formalism for the combined qualitative and quantitative analysis of systems Proc. of the 5th International Workshop on Petri Nets and Performance Models, Toulouse (France), pp. 14–23, 1993.
F. Bause, P. Buchholz, P. Kemper. QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets. H. Beilner, F. Bause (eds.); Quantitative Evaluation of Computing and Communication Systems, Springer LNCS 977, pp. 224–238.
F. Bause, P. Buchholz, P. Kemper. A toolbox for functional and quantitative analysis of DEDS. Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 680, 1998.
F. Bause, H. Kabutz, P. Kemper, P Kritzinger. SDL and Petri net performance analysis of Communicating systems. Proc. of the 15th International Symposium on Protocol Specification, Testing and Verification, Warsaw (Poland), June 1995.
F. Bause, P. Kemper, P. Kritzinger. Abstract Petri Net Notation. Petri Net Newsletters, No. 49, pp. 9–27, 1995.
P. Buchholz. Equivalence relations for stochastic automata networks. W. J. Stewart (ed.), Computation with Markov Chains: Proc. of the 2nd Int. Workshop on the Numerical Solution of Markov Chains, Kluwer Int. Publishers (1995), 197–216.
P. Buchholz. Hierarchical structuring of superposed GSPNs. Proc. of the 7th Int. Workshop on Petri Nets and Performance Models (PNPM’97), IEEE CS-Press, 1997, 81–90.
P. Buchholz. Iterative decomposition and aggregation of labeled GSPNs. Accepted for ATPN’98.
P. Buchholz, P. Kemper. On generating a hierarchy for GSPN analysis. To appear in Performance evaluation review.
P. Kemper. Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, 22(9), Sep 1996.
P. Kemper. Reachability analysis based on structured representations. In Application and Theory of Petri Nets, LNCS 1091. Springer, 1996.
P. Kemper and R. Lübeck. Model checking based on Kronecker algebra. Universität Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 669, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bause, F., Buchholz, P., Kemper, P. (1998). A Toolbox for Functional and Quantitative Analysis of DEDS. In: Puigjaner, R., Savino, N.N., Serra, B. (eds) Computer Performance Evaluation. TOOLS 1998. Lecture Notes in Computer Science, vol 1469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-68061-6_32
Download citation
DOI: https://doi.org/10.1007/3-540-68061-6_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64949-6
Online ISBN: 978-3-540-68061-1
eBook Packages: Springer Book Archive