For the most recent entries see the Petri Nets Newsletter.

Simplification of a Conversation Design Scheme Using Petri Nets.

Wu, J.; Fernandez, E.B.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography