• DocumentCode
    1915735
  • Title

    The algebra of system design: a Petri net model of modular composition

  • Author

    Zimmer, R. ; MacDonald, Ann

  • Author_Institution
    Brunel University
  • fYear
    1993
  • fDate
    3-6 May 1993
  • Firstpage
    2729
  • Lastpage
    2732
  • Keywords
    Algebra; Design automation; Labeling; Logic circuits; Logic design; Mathematical model; Mathematics; Mirrors; Process design; Protection;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
  • Conference_Location
    IEEE
  • Print_ISBN
    0-7803-1281-3
  • Type

    conf

  • Filename
    693257