@inproceedings{106f2c5aa9bf48ed904328eef0059343,
title = "Synthesis rules for cyclic interactions among processes in concurrent systems",
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.",
author = "Ramamoorthy, {C. V.} and Y. Yaw and Tsai, {W. T.}",
year = "1988",
language = "English (US)",
isbn = "0818608730",
series = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
publisher = "Publ by IEEE",
pages = "497--504",
editor = "Knafl, {George J.}",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
}