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
PublisherPubl by IEEE
Pages497-504
Number of pages8
ISBN (Print)0818608730
StatePublished - Dec 1 1988

Publication series

NameProceedings - IEEE Computer Society's International Computer Software & Applications Conference

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Synthesis rules for cyclic interactions among processes in concurrent systems'. Together they form a unique fingerprint.

Cite this