Concurrency and hardware design : advances in Petri Nets - Cortadella, J. 1962- (Springer, 2002)