Abstract
The purpose of the paper is to introduce a semantic model based on a combination of denotational semantics [Gordon] and high-level Petri nets [Genrich, Lautenbach], [Jensen]. The basic idea behind our approach is due to Kurt Jensen.
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
Genrich, H. and Lautenbach, K.: System modelling with high-level Petri nets. Theoretical Computer Science 13 (1981) 109–136.
Gordon, G.: The Denotational Description of Programming languages. Springer Verlag, New York 1979.
Hansen, P.B.: The Architecture of Concurrent Programs. Prentice Hall, New Jersey 1977.
Jensen] Jensenr K.: High-level Petri nets. In this volume.
Jensenr K. and Wirthr N.: Pascal user manual and report. Springer Verlag, New York 1975.
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
Hansen, N.D., Madsen, K.H. (1983). Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. In: Pagnoni, A., Rozenberg, G. (eds) Applications and Theory of Petri Nets. Informatik-Fachberichte, vol 66. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69028-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-69028-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12309-5
Online ISBN: 978-3-642-69028-0
eBook Packages: Springer Book Archive