Submit Software
  1. Home
  2. Windows
  3. Other
  4. PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit 1.0

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.

VERSION HISTORY

  • Version 1.0 posted on 2008-01-17
    Several fixes and updates
  • Version 1.0 posted on 2008-01-17

Program Details

Related Programs

  • Vocatra Free

    Vocatra is a console-based vocabulary trainer. It takes one or more vocabulary files, queries you for each word, and lets you try to give the correct answer.

  • While Interpreter Free

    WhileInterpreter is an interpreter for the WHILE programming language used for learning purpose. It has few constructs and easy semantics.

  • RubyMoss Free

    RubyMoss is a Web - Based Framework written with Ruby on Rails, intended to support all analysis and data processing for Mossbauer Spectroscopy. Written under BSD License.

  • Peter Pig s Money Counter Free Trial

    With the help of wise Peter Pig, kids practice sorting and counting coins to earn money for their “banks”—all the while learning fun facts about U.S. currency. They learn to recognize and sort coins based on value, adding up

  • Nfrequencies Free

    Perform multivariate analysis based on di-nucleotide frequencies from DNA sequence data.

  • NetBuilder' - Apostrophe Free

    NetBuilder' is a tool for building, visualizing, and simulating multi-layered biological networks, structured as hierarchical Petri-nets. It has a built-in stochastic simulator, but also provides easy access to other simulati

  • DFWiki Free

    DFWiki is a wiki module designed to work within the moodle LMS environment. It has been designed to take advantadge of wiki features for e-learning, As content creation, and collaborative work projects. Future versions will a

  • lib3d_mec_GiNaC Free

    lib_3d_mec_ginac is a library for symbolic multibody system dynamics. It can be used standalone, although it will be the kernel substitute of future version 3.0 of 3d_mec (http://www.imac.unavarra.es/3d_mec).

  • JCadServices Free

    Joint submission team developing a CORBA interface allowing Mechanical CAD systems to exchange Geometry and Topology.

  • GEGIS Free

    Build WebGIS based on Google Earth. Just 7 steps to complite a WebGIS Web Application!