Synthesis rules for cyclic interactions among processes in concurrent systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
EditorsGeorge J. Knafl
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages497-504
Number of pages8
ISBN (Print)0818608730
Publication statusPublished - 1988
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Ramamoorthy, C. V., Yaw, Y., & Tsai, W. T. (1988). Synthesis rules for cyclic interactions among processes in concurrent systems. In G. J. Knafl (Ed.), Proceedings - IEEE Computer Society's International Computer Software & Applications Conference (pp. 497-504). Piscataway, NJ, United States: Publ by IEEE.