Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: Syntax and Semantics of Petri Nets, Author: Roberto Gorrieri