For the most recent entries see the Petri Nets Newsletter.

Rapid prototyping of formally modeled distributed systems.

Buchs, D.; Buffo, M.

In: Proc. 10th IEEE Int. Workshop on Rapid System Prototyping, 16-18 June 1999, Clearwater, FL, pages 4-9. 1999.

Abstract: This paper presents various kinds of prototypes, used in the prototyping of formally modeled distributed systems. It presents the notion of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modeling language for distributed systems CO-OPN/2, which is based on algebraic data types, Petri nets, and coordination modules.

Keywords: CO-OPN/2, Petri nets, distributed systems, formal models, rapid prototyping.

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

Back to the Petri Nets Bibliography