Concurrency and Hardware Design Advances in Petri Nets - Cortadella, Jordi; Cortadella, Jordi; Yakovlev, Alex; Yakovlev, Alex; Rozenberg, Grzegorz; Rozenberg, Grzegorz (Springer Berlin Heidelberg : Imprint: Springer, 2002)