• DocumentCode
    2797129
  • Title

    Synthesis rules for cyclic interactions among processes in concurrent systems

  • Author

    Ramamoorthy, C.V. ; Yaw, Y. ; Tsai, W.T.

  • Author_Institution
    Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
  • fYear
    1988
  • fDate
    5-7 Oct. 1988
  • Firstpage
    497
  • Lastpage
    504
  • Abstract
    Designing concurrent systems has been shown to be difficult due to state explosion problems. A synthesis technique using Petri nets is proposed to tackle the problem. A set of rules has been proposed to guide designers incrementally expanding Petri nets under design while maintaining the logical correctness. These rules cover the semantics of concurrency, exclusiveness, cyclicity, and interactions.<>
  • Keywords
    Petri nets; parallel programming; Petri nets; concurrent systems; cyclic interactions; cyclicity; exclusiveness; interactions; logical correctness; semantics; state explosion problems; synthesis technique; Access protocols; Computer science; Design methodology; Explosions; Parallel programming; Performance analysis; Petri nets;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
  • Conference_Location
    Chicago, IL, USA
  • Print_ISBN
    0-8186-0873-0
  • Type

    conf

  • DOI
    10.1109/CMPSAC.1988.17230
  • Filename
    17230
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2797129