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.
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.
BibTeX entry
@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.}
}
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
