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
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;
Conference_Titel :
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location :
Chicago, IL, USA
Print_ISBN :
0-8186-0873-0
DOI :
10.1109/CMPSAC.1988.17230
