For the most recent entries see the Petri Nets Newsletter.

TAPIOCA: OCCAM Rapid Prototyping from Petri Net.

Breant, F.

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.


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

Back to the Petri Nets Bibliography