Synthesis rules for cyclic interactions among processes in concurrent systems
C. V. Ramamoorthy, Y. Yaw, Wen-Nung Tsai · 2003
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.>