From: Design/CPN Support To: designCPN@daimi.au.dk Date: Wed, 29 Sep 1999 10:21:38 +0200 (MDT) Subject: New release of Design/CPN NEW RELEASE OF DESIGN/CPN It is a pleasure to announce the release of Design/CPN 4.0 which contains a number of bug fixes and a considerable number of new features and functional enhancements. For more details see: http://www.daimi.au.dk/designCPN/new4_0.html Design/CPN is a tool package supporting the use of Coloured Petri Nets. It is one of the most elaborate Petri net tools available. More than 50 man-years have been used for the design and implementation. Design/CPN is distributed free of charge to all kinds of users (including commercial companies). The tool is used by more than 500 organisation in more than 40 different countries (including 100 commercial companies). The Design/CPN tool consists of four parts: - The CPN Editor supports construction, modification and syntax check of CPN models. - The CPN Simulator supports interactive and automatic simulation of CPN models. - The Occurrence Graph Tool supports construction and analysis of occurrence graphs for CPN models (also known as state spaces or reachability graphs/trees). - The Perfomance Tool supports simulation based performance analysis of CPN models. Design/CPN 4.0 is available on the following four Unix platforms: - Sun Sparc with Solaris - Intel PCs with Linux - HP with HPUX - SGI with Irix For more information please consult the Design/CPN Web pages: http://www.daimi.au.dk/designCPN/ The Design/CPN support team -- /Stefan Sorensen Design/CPN Online: http://www.daimi.au.dk/designCPN/ --- [[ Post messages and summary of replies: designCPN@daimi.au.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.au.dk ]] [[ The moderator's address: designCPN-owner@daimi.au.dk ]] [[ World Wide Web URL: http://www.daimi.au.dk/designCPN/email/ ]]