http://cpntools.org/ 2012-05-19T15:21:46+02:00 http://cpntools.org/ http://cpntools.org/lib/images/favicon.ico text/html 2011-09-20T12:13:09+02:00 http://cpntools.org/accesscpn?rev=1316513589&do=diff You can use Access/CPN with or without Eclipse. We strongly recommend using Eclipse. Get binary releases from the CPN Tools Download page. The source is available from (Note that you get a security error when clicking on the link; this is because the Subversion server uses encryption with a self-signed certificate.) text/html 2011-06-22T10:51:01+02:00 http://cpntools.org/asap?rev=1308732661&do=diff Since version 3.0 of CPN Tools, the state space tool of ASAP has secretly been part of CPN Tools. It is not exposed in the GUI, however, and lacks support for some features of CPN Tools. Limitations Current limitations of ASAP in CPN Tools are text/html 2011-11-09T12:11:58+02:00 http://cpntools.org/contact?rev=1320837118&do=diff For any support on CPN Tools, please refer to the Support page. For other issues, contact: Michael Westergaard and H.M.W. (Eric) Verbeek Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven, The Netherlands E-mail: support@cpntools.org text/html 2012-02-06T12:17:20+02:00 http://cpntools.org/download?rev=1328527040&do=diff CPN Tools is free software; see here for licensing information. It should be straight-forward to install CPN Tools; otherwise, read the help pages. We do not make source releases of CPN Tools, but we provide open access to the Subversion repositories hosting the source. Please first review the license for CPN Tools, the CPN simulator and Access/CPN. text/html 2011-03-16T11:24:15+02:00 http://cpntools.org/gettingstarted?rev=1300271055&do=diff Modeling With Coloured Petri Nets [:books:language] [:books:modeling] The User Interface of CPN Tools First steps Graphical User Interface gui index Simulation Simulation simulation index editing index verification index examples index text/html 2010-11-05T10:27:31+02:00 http://cpntools.org/navbar?rev=1288949251&do=diff .. index text/html 2011-05-26T14:29:33+02:00 http://cpntools.org/pncourse?rev=1306412973&do=diff Petri Nets Conference 2011 CPN Tools The projects will use CPN Tools. When you start using CPN tools you can find different information on the Help pages. They can be accessed via the CPN Tools web-pages or directly from the Help entrance in the Index of the tool (the white area in the left side of the screen). text/html 2011-08-29T09:38:29+02:00 http://cpntools.org/publications?rev=1314603509&do=diff Colored Petri nets and CPN Tools Books Modeling Business Processes -- A Petri Net-Oriented ApproachMITColoured Petri Nets -- Modeling and Validation of Concurrent Systems Articles The Access/CPN Framework: A Tool for Interacting with the CPN Tools SimulatorColoured Petri Nets and CPN Tools for Modelling and Validation of Concurrent SystemsCPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets Standard ML CPN Tools uses the CPN ML language to specify declarations and net inscript… text/html 2012-02-02T14:24:18+02:00 http://cpntools.org/start?rev=1328189058&do=diff text/html 2011-08-20T17:10:31+02:00 http://cpntools.org/support?rev=1313853031&do=diff Did you encounter a problem when using CPN Tools or do you want to report a bug? The following Petri net specifies what and how to do. To actually execute a suggested task, you can click on the respective transition. If you prefer a textual description, please scroll past the figure.