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".
  • Telephone example << CPN Tools Homepage
    Telephone example This is a small toy example which describes how the public telephone system as it is conceived by a user and not by a telephone technician We ignore time outs and special services such as conference calls etc The example is taken from Sect 3 2 of Vol 1 of K Jensen Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use Monographs on Theoretical Computer Science vol

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


  • Timed protocol example << CPN Tools Homepage
    how long time the individual operations take and how long time the sender should wait before it makes a retransmission The timed CP net can be used to experiment with different waiting times to determine which one is the best in the sense that it transmits the message fast without using the network too much i e without making too many retransmissions The example is taken from Sect 5 5

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

  • Timed resource allocation example << CPN Tools Homepage
    small toy example which is well suited as a first introduction to timed CP nets It shows how the CP net from Resource Allocation can be turned into a timed CP net The time constructs are described in great detail explaining the basic concepts of timed CP nets The example is taken from Sect 5 1 of Vol 2 of K Jensen Coloured Petri Nets Basic Concepts Analysis Methods and

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

  • Getting Started << CPN Tools Homepage
    CPN Tools 4 The videos on the right demonstrate various functions of 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

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

  • Getting Started << CPN Tools Homepage
    features Minor Features a ul li Model statistics li li Simulation stop criteria li li Simplified state space analysis li ul li li a href https westergaard eu 2013 09 cpn tools 4 message sequence charts Message Sequence Charts a li li a href https westergaard eu 2013 09 cpn tools 4 time intervals and time reduction Time Intervals and Time Reduction a li li Extensions ul li a href https westergaard eu 2013 09 cpn tools 4 extensions part 1 basics Basics a li li a href https westergaard eu 2013 09 cpn tools 4 extensions part 2 getting started and basic abstractions Getting Started and Basic Abstractions a li li a href https westergaard eu 2013 10 cpn tools 4 extensions part 3 graphics and callbacks Graphics and Callbacks a li ul li ul html WRAP html iframe class youtube player type text html width 340 height 240 src http www youtube com embed pKV tEaoyGY frameborder 0 iframe br iframe class youtube player type text html width 340 height 240 src http www youtube com embed B LPOAribkk frameborder 0 iframe br iframe class youtube player type text html width 340 height 240 src http www youtube com embed Qcu4XZoQbRE frameborder 0 iframe br iframe class youtube player type text html width 340 height 240 src http www youtube com embed QiptzahZgAE frameborder 0 iframe br iframe class youtube player type text html width 340 height 240 src http www youtube com embed RErP7KXf QA frameborder 0 iframe br iframe class youtube player type text html width 340 height 240 src http www youtube com embed ZYMh It8oK8 frameborder 0 iframe br iframe class youtube player type text html width 340 height 240 src http www youtube com embed kEe1Un 2ptk frameborder 0 iframe br iframe class

    Original URL path: http://cpntools.org/gettingstarted/start?do=edit&rev= (2016-04-26)
    Open archived version from archive

  • Getting Started << CPN Tools Homepage
    Loading Home Download Getting Started Documentation Support Contact Login You are currently not logged in Enter your authentication credentials below to log in You need to have cookies enabled to log in Login Username Password Remember me Forgotten your password

    Original URL path: http://cpntools.org/gettingstarted/start?do=login§ok=a36a2ccacaa83dc606eb4f10f40d3fb6 (2016-04-26)
    Open archived version from archive

  • gradecpn:screen-shot-2012-03-29-at-11.27.09.png[CPN Tools]
    gradecpn screen shot 2012 03 29 at 11 27 09 png Back to Grade CPN

    Original URL path: http://cpntools.org/_detail/gradecpn/screen-shot-2012-03-29-at-11.27.09.png?id=gradecpn%3Astart (2016-04-26)
    Open archived version from archive

  • Grade/CPN << CPN Tools Homepage
    configuration set up by the teacher Grade CPN provides an overview of 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

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



  •