In: IEEE Transactions on Software Engineering, Vol. 15, No. 5, pages 658-660. May 1989.
Abstract: In the conversation design procedure, the definition of the state of the system is one of the most important aspects. The question is how to identify transitions in Occam programs in order to express them as Petri nets. In this work, a simplified transition identification method is proposed.