Petri Nets and Semantics of System Descriptions

Authors

  • Kurt Jensen
  • Morten Kyng

DOI:

https://doi.org/10.7146/dpb.v9i116.6534

Abstract

This paper discusses the use of Petri nets as a semantic tool in the design of languages and in the construction and analysis of system descriptions. The topics treated are:

  • Languages based on nets.
  • The problem of time in nets.
  • Nets and related models.
  • Nets and formal semantics.
  • Parallel program verification and nets.

Author Biographies

Kurt Jensen

Morten Kyng

Downloads

Published

1980-04-01

How to Cite

Jensen, K., & Kyng, M. (1980). Petri Nets and Semantics of System Descriptions. DAIMI Report Series, 9(116). https://doi.org/10.7146/dpb.v9i116.6534

Issue

No. 116 (1980): PB-116 Petri Nets and Semantics of System Descriptions

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.