Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg: Concurrency and Hardware Design, Advances in Petri Nets. Lecture Notes in Computer Science 2549, Springer 2002, ISBN 3-540-00199-9