DMCA

© 1999 Springer-Verlag London Limited A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets

by M. Heiner , P. Deussen , J. Spranger