Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Applications and Theory in Petri Nets

APN 1985: Advances in Petri Nets 1985 pp 297–329Cite as

Pascal semantics by a combination of denotational semantics and high-level petri nets

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 222))

Abstract

This paper describes the formal semantics of a subset of PASCAL, by means of a semantic model based on a combination of denotational semantics and high-level Petri nets. It is our intention that the paper can be used as part of the written material for an introductory course in computer science.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H.J. Genrich and K. Lautenbach: System modelling with high-level Petri nets, Theoretical Computer Science 13 (1981), 109–136.

    Article  Google Scholar 

  2. U. Goltz and W. Reisig: CSP-programs as nets with individual tokens. G. Rozenberg (ed.): Advances in Petri Nets 1984, Lecture Notes in Computer Science 188, Springer-Verlag 1985, 169–196.

    Google Scholar 

  3. Ka. Jensen and N. Wirth: Pascal user manual and report. Springer-Verlag 1975.

    Google Scholar 

  4. K. Jensen: Coloured Petri nets and the invariant-method. Theoretical Computer Science 14 (1981) 317–336.

    Article  Google Scholar 

  5. K. Jensen: High-level Petri nets. A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte 66, Springer-Verlag 1983, 166–180.

    Google Scholar 

  6. K. Jensen: An introduction to high-level Petri nets. Proceedings of the ISCAS 85 Conference, Kyoto, Japan 1985, IEEE, 723–726.

    Google Scholar 

  7. K. Jensen, M. Kyng: Epsilon. A system description language. Computer Science Department, Aarhus University, DAIMI PB-150, 1982.

    Google Scholar 

  8. N.D. Hansen and K.H. Madsen: Formal semantics by a combination of denotational semantics and high-level Petri nets. A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte 66, Springer-Verlag 1983, 132–148.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Aarhus University, Ny Munkegade, DK-8000, Aarhus C, Denmark

    Kurt Jensen & Erik Meineche Schmidt

Authors
  1. Kurt Jensen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Erik Meineche Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jensen, K., Schmidt, E.M. (1986). Pascal semantics by a combination of denotational semantics and high-level petri nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016218

Download citation

  • DOI: https://doi.org/10.1007/BFb0016218

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16480-7

  • Online ISBN: 978-3-540-39822-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation