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".
  • 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 (2016-04-26)
    Open archived version from archive


  • What's New? << CPN Tools Homepage
    incrementally 3 9 1 Load save Declare works Fixed last Declare constraints Option for setting memory for simulator extensions NOTE Models using Declare saved using previous versions are not compatible with this version Such models will not be compatible with any future version 3 9 0 Much improved support for Declare Fix Rayleigh and Weibull distributions 3 5 7 Add labels from external sources Model statistics tool tip on model name in index Improved aux graphics Allow extensions to add instruments Re expose ogpath and ASAP options Fixed a bug causing the cursor to blink in weird ways The linux simulator is back 3 5 6 Drawing primitives Minimize extension server to tray On demand activation of extensions 3 5 5 Support for intinf and time color sets Experimental support for real color sets Please read this page before using this or asking for support 3 5 4 More intuitive load save from palette Save net as PNML Automatic snap to grid Remove guide grid and place kinds 3 5 3 More control over simulation options for fast forward simulation total number of steps end time Added the Weibull distribution Time equivalence reduction for state space analysis Ranges supported for time stamps using extensions No longer fails if extensions are not started 3 5 2 ONLY USE THIS VERSON TO TEST SIMULATOR EXTENSIONS It does not yet gracefully degrade if you don t You will not be able to create nets without extensions and extensions are not yet optimized making this version seem significantly slower Preliminary support for simulator extensions 3 5 1 More graphical tweaks improved graphical feedback when drawing e g double arcs port type place kind instruments bounded and ordered places some dependency highlights Switch to UserVoice for support bug tracking reflected in UI Show time used

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

  • CPN2000 Wiki << CPN Tools Homepage
    who is involved in the project Meetings summary of passed meetings and agenda for future meetings Publications publications planned and made and conference activities Presentations slides used in formal presentations Calendars who when what where why Support Guidelines and current staff Methodology methods procedures and rules for supporting our work practices Environment how is the hardware and software configuration for the project Programming Tools and Environments Instructions hints and tips on how to use various relevant tools and development environments Prototypes instructions to run prototypes from the CVS tree Versions A guide to the different versions of the tool Releases Guidelines and checklists for building releases Timetables Proposed timetables leading to major milestones Bug tracking system Information about the bug tracking system including how to upgrade to the next version Test Current august 2004 implementation Introduction Short describtion of the code structure PageElements How all page elements are implemented Instruments Implementation The inner workings of instruments Commands and Clippings Undo redo of actions The Marking Menus How marking menus work Default texts Every visible text should either be from the simulator or be from the language file Debugging Use the debug patterns when debugging Specific implementation improvements A recommendation for furture improvements regarding the code Overview over options in CPN Tools Simulator Monitoring facilities Design and implementation pages for next version New Features Discussions of new features for the next version of CPN Tools New data structure Discussions on cleaning up the data structure of CPN Tools version 1 0 Twohand interaction Pros and cons using multiple mice Design and implementation pages for version 1 0 Interaction Toolkit Current design for the software layer that handles graphics and interaction Abstract Petri Net Current design for the software layer that handles the representation of a CPN and the interface with the

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

  • CPN Tools Homepage
    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 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

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

  • CPN Tools Homepage
    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 properties and liveness properties p h3 style clear both New Features in Version 4 0 h3 ul li Declarative constraints li li 3 sup rd sup part extensions li li Simplified use of non colored nets li li Support for export to PNML li li Support for a href documentation concepts colors declarations colorsets real colour sets real a and a href documentation concepts colors declarations colorsets time colour sets time a colorsets a li Improved support for time time intervals and state space reduction li li Simplified state space analysis li li Fresh new look li ul p CPN Tools is originally developed by the a href http www cs au dk CPnets CPN Group a at Aarhus University from 2000 to 2010 The main architects behind the tool are a href http person au dk en kjensen cs au dk Kurt Jensen a a href http person au dk en schristensen science au dk Søren Christensen a a href http home hib no ansatte lmkr Lars M Kristensen a and a href http westergaard eu cv Michael Westergaard a From the autumn of 2010 CPN Tools is transferred to the a href http www win tue nl ais AIS group a href http www tue nl Eindhoven University of Technology a The Netherlands td td valign top img src media cpntools4 png width 350 td tr tr td valign top style text align left h3 Latest Version of CPN Tools h3 p The latest released version is version b 4 0 1 b from February 2015 Get it

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

  • 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/start?do=login§ok=a36a2ccacaa83dc606eb4f10f40d3fb6 (2016-04-26)
    Open archived version from archive

  • CPN Tools Homepage
    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 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

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

  • Access/CPN << CPN Tools Homepage
    CPN Tools engine engine protocol Provides simulator engine binaries and Java 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

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



  •