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