PetriKit: Petri Net Analysis Toolkit

beta
5.0 Stars (1)
1 Download (This Week)
Last Update:
Download PetriKit-1.0.zip
Browse All Files
Windows Mac Linux

Description

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.

PetriKit: Petri Net Analysis Toolkit Web Site

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

  • robertcorreia
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Petrikit is good! Thanks.

    Posted 06/13/2013
Read more reviews

Additional Project Details

Languages

English

Intended Audience

Advanced End Users, Education, Science/Research

User Interface

Command-line

Programming Language

Python

Registered

2007-11-09
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.