PetriKit: Petri Net Analysis Toolkit 1.0
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/petrikit/files/petrikit/1.0/PetriKit-1.0.zip/download
ABOUT PetriKit: Petri Net Analysis Toolkit
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.
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!