Dear all, After more than a year, CPN Tools 4 (http://cpntools.org) has reached completion. CPN Tools is a major new release, and new features include - declarative constraints - 3rd part extensions written in Java - simplified use of non-colored nets - support for PNML - support for real and time colorsets - improved support for time (time intervals and state-space reduction) - simplified state-space analysis - fresh new look CPN Tools 4 can read files from older versions of CPN Tools, and saved files can be read using older versions (except for new features). CPN Tools 4 is recommended for all new development using colored Petri nets.
Get a full list of changes at - http://cpntools.org/download/whatsnew Get the new version from - http://cpntools.org/download Report any bugs on our new bug-tracker at - http://cpntools.org/support Here, you can also propose and vote for new features. We are currently writing tutorials introducing all new features; find the current available tutorials and check back for updated content at - http://westergaard.eu/category/tutorials/cpn-tools-tutorial/ Get the inside scoop on CPN Tools from the following social networks: - Facebook: http://cpntools.org/facebook - Twitter: http://cpntools.org/twitter - Google Plus: http://cpntools.org/gplus CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets. The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be generated and analyzed, and a standard state space report contains information such as boundedness and liveness properties. CPN Tools is originally developed by the CPN Group at Aarhus University from 2000 to 2010. The main architects behind the tool are Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard. From the autumn of 2010, CPN Tools is transferred to the AIS group, Eindhoven University of Technology, The Netherlands. -- Michael Westergaard <[email protected]> ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
