Concurrency and hardware design : advances in petri nets / - Cortadella, J.; Yakovlev, Alex.; Rozenberg, Grzegorz. (Springer, 2002)