Bibliography
SNIFF - An Input/Output Library for Design/CPN
Christoph Maier, Daniel Moldt, and Heiko Rölke.
SNIFF - an input/output library for Design/CPN.
In Daimi PB-532: Workshop on Practical Use of Coloured Petri
Nets and Design/CPN, pages 65-82, Ny Munkegade, Building 540, DK-8000
Aarhus C, Dänemark, 1998. Computer Science Department, Aarhus
University.
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.
BibTeX
@INPROCEEDINGS{Maier+98,
AUTHOR = {Maier, Christoph and Moldt, Daniel and R{\"o}lke, Heiko},
ADDRESS = UniAarhusAdr,
BOOKTITLE = {Daimi PB-532: Workshop on Practical Use of Coloured {Petri} Nets and {Design/CPN}},
INSTITUTION = {Computer Science Department, Aarhus University},
PAGES = {65--82},
PUBLISHER = UniAarhus,
TITLE = {{SNIFF} -- An Input/Output Library for {Design/CPN}},
YEAR = 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.}
}
