Delta semantics defined by Petri nets
By: by Kurt Jensen, Morten Kung, Ole Lehrmann Madsen.
Contributors: Kyng, Morten.; Lehrmann Madsen, Ole.
Edition: revised version.
Series: DAIMI PB -- 95; Report -- no.12.
Publisher: Aarhus University
Published: 1979
Place of publication: Aarhus
Language: eng
Number of pages: 137