For the most recent entries see the Petri Nets Newsletter.

Prototyping Object Oriented Specifications.

Al-Shabibi, Ali; Buchs, Didier; Buffo, Mathieu; Chachkov, Stanislav; Chen, Ang; Hurzeler, David

In: Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23-27, 2003, pages 473-482. Volume 2679 of Lecture Notes in Computer Science / Wil M. P. van der Aalst and Eike Best (Eds.) --- Springer-Verlag, June 2003.

Abstract: CoopnBuilder is an integrated development environment (IDE) for Concurrent Object Oriented Petri Nets (COOPN). It comes with a complete set of tools enabling the user to view, edit, check, simulate and generate code from CO-OPN specifications. The Code Generation tool allows the user to develop applications in an open way: the produced code can be integrated in larger projects or use existing libraries. The code generation will be emphasized in this paper, and we will focus on ease-of-use and extensibility. CoopnBuilder is an open-source Java program and can be downloaded from http://cui.unige.ch/smv


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

Back to the Petri Nets Bibliography