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".
  • Access/CPN << CPN Tools Homepage
    CPN Knowledge Base Licensing Support Contact Publications Loading Home Download Getting Started Documentation Support Contact This page is read only You can view the source but not change it Ask your administrator if you think this is wrong page accesscpn

    Original URL path: http://cpntools.org/accesscpn?do=edit&rev= (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/doku.php (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 (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?do=addtobook (2016-04-26)
    Open archived version from archive

  • Weibull << CPN Tools Homepage
    Getting Started Documentation Support Contact Book creator Add this page to your book Book creator Remove this page from your book Show modify book 17 page s Help Weibull Note Introduced in CPN Tools 3 5 3 Interface weibull lambda real k real real where lambda 0 0 and k 0 0 Returns a drawing from a Weibull distribution with parameters lambda and k Raises Weibull exception if lambda 0

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

  • 3.4 << CPN Tools Homepage
    the alias sort was introduced for color or colset in declarations this however broke function using a sort function and so has been reverted 3 3 1 Names with parentheses gave wrong output when exported to EPS Improved error reporting when computing state space Reduced download size from 30 MiB to 16 MiB by moving Mac OS X and Linux to on demand downloaded packages Fixed regression in 3 3

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

  • 3.2 << CPN Tools Homepage
    same seed as standard random number generator Add Gamma and Beta distributions Fix a bug which caused instances of the first enabled transition instance to have slightly higher probability of being chosen and instances of the last slightly lower when using global binding element fairness Especially visible if you have just two transitions with one enabled binding where one would be starved if the other was always enabled When using

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

  • 3.0 << CPN Tools Homepage
    query function Fix bug when single stepping thru hierarchical model 3 0 2 Fix crash when deleting place with a current marking Significantly smaller download 3 0 1 Fix for guards containing record accessors Fix problem entering state space tool when a union color set used an element no like colset NO with no Save debug information correctly Safe mode which avoids using accelerated graphics making CPN Tools play much

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



  •