archive-org.com » ORG » C » CPNTOOLS.ORG

Total: 415

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • CPN Tools Homepage
    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 properties and liveness properties New Features in Version 4 0 Declarative constraints 3 rd part extensions Simplified use of non colored nets Support for export to 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 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 Latest Version of CPN Tools The latest released version is version 4 0 1 from February 2015 Get it from the Download page For a full list of new features for each version of CPN Tools Access CPN and Grade CPN refer to the Whats New list Michael s blog on CPN Tools Is Google s Go bot a Breakthrough for Artificial Intelligence 2016 03 25 22 12

    Original URL path: http://cpntools.org/ (2016-04-26)
    Open archived version from archive


  • Access/CPN << CPN Tools Homepage
    interface for connecting to them When doing simulation engine protocol new in 3 0 earlier part of engine Abstract representation of the low level protocol When doing simulation or using simulator extensions engine highlevel engine model Provides bridging between the object model and the engine Almost always cosimulation engine engine highlevel model Performs cosimulation between CPN models and Java objects Only if you need to do cosimulation engine proxy engine engine highlevel model Interact with a model loaded using CPN Tools Rarely model tests all other Tests and demo programs Only during development The abridged version You ll almost always need model engine and engine highlevel Pick any of the import export proxy plug ins you need An easy way to use the cosimulation plug in is using ProM recent nightly builds or 6 1 required and the package Cosimulation available from the package manager Examples The model tests plug in contains some demos and test code of Access CPN Here is a quick run down of the different interesting parts default package Misc tests the most interesting is StateSpaceTool which is explained in our paper The Access CPN Framework A Tool for Interacting with the CPN Tools Simulator see Publications for full bibliographical info demos Larger demos in subdirectories demos sillytime Simple example showing importing a model loaded in CPN Tools and updating the GUI of CPN Tools from Java Described in this blog post demos statespacegenerator A parallel state space generator The code is messy but fairly efficient it is possible to generate more than 10 7 10 8 states on a standard computer Checking Out Access CPN Using Eclipse You need a recent version of Eclipse tested with Helios and EMF You need a Subversion client for Eclipse Use https svn win tue nl repos cpntools AccessCPN

    Original URL path: http://cpntools.org/accesscpn/start (2016-04-26)
    Open archived version from archive

  • Books << CPN Tools Homepage
    Download Getting Started Documentation Support Contact Books There are currently two books about CPNs and CPN Tools available The book of Jensen and Kristensen is about the CPN language and modeling and validating protocols The book of Van der Aalst

    Original URL path: http://cpntools.org/books/start (2016-04-26)
    Open archived version from archive

  • Documentation << CPN Tools Homepage
    Download Getting Started Documentation Support Contact Documentation Getting Started Graphical User Interface Graphical User Interface Palette tools Marking menus Tasks in CPN Tools Editing a CPN Common constructs Simulation Verification Performance analysis Concepts Timed Nets Hierarchy Colored nets Declarations Inscriptions

    Original URL path: http://cpntools.org/documentation/start (2016-04-26)
    Open archived version from archive

  • Download << CPN Tools Homepage
    version of CPN Tools and run it using a virtual machine See instructions for doing this on a Mac here the instructions for doing so on Linux should be similar You can also run CPN Tools using Wine For more information see here we have not tested this Linux users can also download an older version of CPN Tools but these versions are not maintained any longer Download Linux Version 2 3 5 Download Linux Version 2 2 0 Access CPN Download 2 2 0 2 0 2 Grade CPN Download 1 0 0 Source 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 Important We do not provide support for the GUI component at all We only provide limited support for the Simulator component so you have to put in an honest effort yourself Check the Source Documentation to get started If you agree to the licenses you can obtain CPN Tools at Component Repository Location License When to use GUI https svn win tue nl repos cpntools GUI trunk GPL If you

    Original URL path: http://cpntools.org/download (2016-04-26)
    Open archived version from archive

  • FAQ << CPN Tools Homepage
    CPN Tools open models from Design CPN Manuals Is there a user manual for CPN Tools Editing CP nets Are inhibitor arcs supported Are bounded places supported Are queue places supported Are real colour sets supported Analyzing CP nets Is it possible to draw state spaces Is there support for performance analysis Is there support for invariants Why is the simulation report not saved Error generating state space for timed

    Original URL path: http://cpntools.org/faq/faq (2016-04-26)
    Open archived version from archive

  • Getting Started << CPN Tools Homepage
    CPN Tools as they were developed Declare Constraints Place Transition Petri Nets New Types intinf real time Minor Features Model statistics Simulation stop criteria Simplified state space analysis Message Sequence Charts Time Intervals and Time Reduction Extensions Basics Getting Started and Basic Abstractions Graphics and Callbacks Simulation Simulation Change marking during simulation Errors during simulation Limitations Manually choose bindings Run a Simulation Simulation feedback Simulation replications Simulation report Simulation stop criteria Simulator functions Editing Editing a CPN Common constructs Anti places limit places Inhibitor arcs Queues and stacks Create load and save Close a net Create a new net Load a net Save a net Graphical layout Edit style attributes Edit the layout Groups Magnetic guidelines Move and pan multiple views Resize pan and zoom Editing the net structure Add edit declarations Add edit inscriptions Cloning Deep cloning Edit text Adding places transitions and arcs Errors in net structure Naming policy Exceptions Graphical feedback Long click Syntax checking State space Analysis Verification Calculating the state space Attributes and options in state space tool Draw state spaces with CPN Tools Draw State Spaces with Graphviz Enter the state space tool Make state space queries Nondeterministic nets Saving a standard state space

    Original URL path: http://cpntools.org/gettingstarted/start (2016-04-26)
    Open archived version from archive

  • Grade/CPN << CPN Tools Homepage
    the overall scores of all students as well as individual reports for each student with scores and reasons for each score Grade CPN currently comprises 4 tools the grader the central component which grades assignments against a configuration and a base model a signer which cryptographically ties a base model to individual student ids to prevent cheating a tester which makes building and testing formulas for describing dynamic properties in out custom temporal logic BTL easy and a student tester which allows students to run a simplified version of the grader against a subset of the specification used to grade the models to catch errors early Grade CPN builds on our Access CPN library Grade CPN runs on Mac OS X Windows and Linux For now refer to this blog post for a brief overview of Grade CPN In the future we shall add a proper manual here The short version is that you download the entire suite from the Download page and double click on the appropriate JAR file to start Make sure you have Java 6 or newer installed The BTL Tester can be started without any configuration on any cpn file for testing the others require a

    Original URL path: http://cpntools.org/gradecpn/start (2016-04-26)
    Open archived version from archive