Abstract
We present a Petri Net based design method which supports the initial phases of the software development process. This method allows for the systematic specification and analysis of system requirements and software requirements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W. Brauer (ed) Net Theory and Applications Lecture Notes in Computer Science 84
H. Genrich, K. Lautenbach: System Modelling with High Level Petri Nets Theoretical Computer Science 13 (1981)
H.J. Genrich, E. Stankiewicz-Wiechno: A Dictionary on Some Basils Notions of Net Theory in [Br 80]
B. Kraemer, H.W. Schmidt: Der Entwurf nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen in: GI 11. Jahrestagung W. Brauer (ed) Informatik-Fachberichte 50 (1981)
H. Oberquelle Nets as a Tool in Teaching and Terminology Work in [Br 80]
J.L. Peterson: Petri Net Theory and the Modeling of Systems Prentice Hall Inc. (1981)
W. Reisig Petrinetze - Eine Einführung Springer Verlag 1982
D. T. Ross: Structured Analysis (SA): A Language for Communicating Ideas in: Programming Methodology, D. Gries (ed) Springer Verlag 78
D. T. Ross, K. E. Schoman: Structured Analysis for Requirements Definition IEEE Transactions on Software Engineering, January 1977
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reisig, W. (1983). System Design Using Petri Nets. In: Hommel, G., Krönig, D. (eds) Requirements Engineering. Informatik-Fachberichte, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69293-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-69293-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12692-8
Online ISBN: 978-3-642-69293-2
eBook Packages: Springer Book Archive