From: Kurt Jensen To: designCPN@daimi.au.dk Date: Thu, 8 Oct 1998 14:01:42 +0200 Subject: New release of Design/CPN NEW RELEASE OF DESIGN/CPN It is a pleasure to announce the release of Design/CPN 3.1 which contains a large number of bug fixes and a considerable number of new features and functional enhancements. For more details see: http://www.daimi.au.dk/designCPN/cpn31/new3_1.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 400 organisation in 40 different countries (including 100 commercial companies). The Design/CPN tool consists of three 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). Design/CPN 3.1 is available on the three different Unix platforms: - Sun Sparc with Solaris - Intel PCs with Linux - HP with HPUX For more information please consult the Design/CPN Web pages: http://www.daimi.au.dk/designCPN/ Kurt Jensen ------------------------------------------------------------------------- Kurt Jensen Direct Phone: +45 8942 3234 Department of Computer Science Secretary: +45 8942 3188 University of Aarhus Telefax: +45 8942 3255 Ny Munkegade, Bldg. 540 Home Phone: +45 8611 4216 DK-8000 Aarhus C E-mail: kjensen@daimi.au.dk Denmark URL: http://www.daimi.au.dk/~kjensen ------------------------------------------------------------------------- --- [[ Post messages and summary of replies: designCPN@daimi.aau.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.aau.dk ]] [[ The moderator's address: designCPN-owner@daimi.aau.dk ]] [[ World Wide Web URL: http://www.daimi.aau.dk/designCPN/email/ ]]