In: Proceedings COMPSAC 88: The Twelfth International Computer Software and Applications Conference, pages 497-504. IEEE Comput. Soc. Press, Washington, DC, USA, 1988.
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.