Al-Shabibi, AliBuchs, DidierBuffo, MathieuChachkov, StanislavChen, AngHurzeler, Davidvan der Aalst, Wil M. P.Best, Eike2005-09-202005-09-202005-09-20200310.1007/3-540-44919-1_30https://infoscience.epfl.ch/handle/20.500.14299/216989CoopnBuilder 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 <a href="http://cui.unige.ch/smv/">http://cui.unige.ch/smv</a>ConformPrototyping Object-Oriented Specificationstext::conference output::conference proceedings::conference paper