In: Proceedings of the 5th Jerusalem Conference on Information Technology (JCIT): Next Decade in Information Technology; 1990, Jerusalem, Israel, pages 184-190. Los Alamitos, CA, USA: IEEE Comput. Soc., 1990.
Abstract: A prototyping tool that implements the control flow of a parallel application is presented. The method is used to produce an OCCAM program from ordinary Petri nets semiautomatically. The method involves three steps. First, the model is analyzed. In the second step, environment constraints are integrated in the specification. In the last step, language constraints are integrated. The use of local topology properties around objects makes it possible to optimize algorithm implementation.
Keywords: OCCAM; control flow prototyping tool; local topology (around objects); termination; dynamic initiation.
Back to the Petri Nets Bibliography