Open AccessPetri Nets and Semantics of System Descriptions
Author(s) -
Kurt Villads Jensen,
Morten Kyng
Publication year - 1980
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v9i116.6534
Subject(s) - petri net , programming language , semantics (computer science) , computer science
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.