Zusammenfassung
Rechensysteme werden sowohl bzgl. funktionaler Aspekte (z.B. Betrachtung von Deadlocks) als auch hinsichtlich quantitativer Aspekte (z.B. Betrachtung des Durchsatzes) untersucht. Der Einsatz von Petri-Netzen bzw. Warteschlangennetzen bietet sich hierbei an, da für beide Modellwelten eine fundierte Theorie existiert. Um zu vermeiden, daß zwei Modelle für ein System erstellt werden müssen, existieren bereits einige Modellwelten zur Verbindung der Betrachtung funktionaler und quantitativer Gesichtspunkte eines Systems. Besonders stark ist dabei in den letzten Jahren die Linie der Time(d)-Petri-Netze hervorgetreten. Nachteilig wirkt sich bei ihnen allerdings aus, daß die Beschreibungsmittel stark an der Petri-Netz-Philosophie angelehnt sind und häufig für Warteschlangenmodellierer unpassend sind. Diese Arbeit stellt eine Modellwelt vor, welche Warteschlangennetz- und Petri-Netz-Beschreibungen vereint und so den Beschreibungsaufwand reduziert bzw. die Beschreibung vereinfacht. Ferner wird untersucht, inwieweit funktionale Ergebnisse Aussagen über das quantitative Modell zulassen.
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.
Literatur
M. Ajmone Marsan, M.G. Balbo, G. Conte, A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems, ACM Trans. on Computer Systems, Vol. 2, No. 2, Mai 1984, S. 93–122.
M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, On Petri Nets with Stochastic Timing, in [WTPN 85], S. 80–87. 1985
F. Bause, Funktional und quantitativ analysierbare Rechensystemmodelle; über Petrinetz- und Warteschlangen-Modellwelten, Diplomarbeit, Universität Dortmund, 1986.
F. Commoner, Deadlocks in Petri Nets, Report CA-7206–2311, Massachusetts Computer Associates, Wakefield, 1972.
G. Estrin, A Methodology for Design of Digital Systems — supported by SARA at the Age of One, Proc. of the AFIPS National Computer Conference, Vol. 47, 1978, S. 313–324.
K. Jensen, Colored Petri Nets and the Invariant Method, Theoretical Computer Science 14, 1981, S. 317–336.
M.K. Molloy, On the Integration of Delay and Throughput Measures in Distributed Processing Models, Ph. D. Diss., University of California, 1981.
J.D. Noe, Pro-nets: For Modeling Processes and Processors, Technical Report 75–07–15, Dept. of Computer Science, University of Washington, Seattle, 1975.
G.J. Nutt, The Formulation and Application of Evaluation Nets, Ph. D. Diss., Computer Science Group, University of Washington, Seattle, Juli 1972.
G.J. Nutt, Evaluation Nets for Computer Systems Performance Analysis, Proc. of the AFIPS Fall Joint Computer Conference, 1972, S. 279–286.
Proceedings of the International Workshop on Petri Nets and Performance Models, Madison, Aug. 1987.
R.R. Razouk, G. Estrin, The Graph Model of Behaviour Simulator, Proc. of the Symposium on Design Automation and Microprocessors, Palo Alto, Feb. 1977.
W. Reisig, Petri-Netze. Eine Einführung, 1982.
Proceedings of the International Workshop on Timed Petri Nets, Turin, Juli 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bause, F., Beilner, H. (1989). Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen. In: Stiege, G., Lie, J.S. (eds) Messung, Modellierung und Bewertung von Rechensystemen und Netzen. Informatik-Fachberichte, vol 218. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75079-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-75079-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51713-9
Online ISBN: 978-3-642-75079-3
eBook Packages: Springer Book Archive