Concurrency and Hardware Design : Advances in Petri Nets - Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg ((Lecture Notes in Computer Science))