1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Department of Computer Science, Science and Technology, Aarhus University
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.
Application and Theory of Petri Nets: Selected Papers From the First and the Second European Workshop on Application and Theory of Petri Nets, 1982, p. 64-71