In: CPN, Aarhus, Denmark, 10-12 June 1998 / Jensen, K.: Daimi PB-532: Workshop on Practical Use of Coloured Petri Nets and Design, pages 65-82. Aarhus University, 1998.
Abstract: In our group several projects used and use Coloured Petri nets as their main technique for modeling. Design/CPN has been one of the tools to edit and simulate the Petri net diagrams. However, Design/CPN has to be considered as a closed tool. To enlarge its functionality the desire is to open the tool for its environment. This is achieved by a library of functions which are implemented using Design/ML and Mimic allowing selective import and export of single or all pages of a Petri net diagram. Its input/output format is a human-readable text file. The text has a well defined syntax and maintains the net's structure and its content. Hence the interface is public and other tools can use the diagrams produced by Design/CPN and Design/CPN can use the output of other tools.