The algebra of system design: A Petri net model of modular composition.

Robert M. Zimmer, Alan J. MacDonald

Browse the full ISCAS paper archive.