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
    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 accesscpn library Grade CPN runs on Mac OS X Windows and Linux For now refer to http westergaard eu 2012 03 how britney makes grading cpn assignments more bearable 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

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


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

  • All articles << CPN Tools Homepage
    supported in CPN Tools Can CPN Tools open models from Design CPN Can I run CPN Tools on my Mac Linux Can t simulate model Model stays orange CPN Tools crashes Is it possible to draw state spaces that are generated in CPN Tools Is there a book about CPNs Is there a user manual for CPN Tools Is there support for invariants Is there support for performance analysis Supported

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

  • All topics << CPN Tools Homepage
    CPN Tools crashes Why are the log files for monitors empty Why can t I generate a state space for a timed net Why can t I see the GUI when I start CPN Tools 8 articles Concepts Are bounded places supported in CPN Tools Are inhibitor arcs supported Are queue places supported Are real color sets supported in CPN Tools Is it possible to draw state spaces that are

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

  • Knowledge Base << CPN Tools Homepage
    Base Licensing Support Contact Publications Loading Home Download Getting Started Documentation Support Contact Book creator Add this page to your book Book creator Remove this page from your book Show modify book 9 page s Help Knowledge Base All articles

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

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

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

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

  • Licensing << CPN Tools Homepage
    version 2 and a 4 clause BSD license as described here Access CPN is licensed under the GNU Lesser General Public License LGPL version 2 1 as described here NOTE This is not legal advise For you as a user this means you can use the tool more or less at your leisure You can use the simulator as parts of your open source GPL programs with no restrictions and

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



  •