Title :
The algebra of system design: a Petri net model of modular composition
Author :
Zimmer, R. ; MacDonald, Ann
Author_Institution :
Brunel University
Keywords :
Algebra; Design automation; Labeling; Logic circuits; Logic design; Mathematical model; Mathematics; Mirrors; Process design; Protection;
Conference_Titel :
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location :
IEEE
Print_ISBN :
0-7803-1281-3
