Abstract
The practical use of CP-nets, just like all other description techniques, is highly dependent upon the existence of adequate computer tools — helping the user to handle all the details of a large description. For CP-nets we need an editor supporting construction, syntax check, and modification of CP-nets, and we also need a number of analysis programs supporting the different analysis methods. The recent development of fast and cheap raster graphics gives us the opportunity to work directly with the graphical representation of CP-nets (and occurrence graphs).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jensen, K. (1996). Computer Tools for Coloured Petri Nets. In: Coloured Petri Nets. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-03241-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-03241-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08243-6
Online ISBN: 978-3-662-03241-1
eBook Packages: Springer Book Archive