Concurrency and hardware design : advances in Petri Nets - Cortadella, J. 1962-; Yakovlev, Alex; Rozenberg, Grzegorz, 1942- (Lecture notes in computer science ;, 2002)