Open AccessPetri Nets and Semantics of System Descriptions
Author(s) -
Kurt Jensen,
Morten Kyng
Publication year - 1980
Publication title -
daimi report series
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom