Title: The SuperCollider Book, second edition, Author: Scott Wilson
Title: Syntax and Semantics of Petri Nets, Author: Roberto Gorrieri