PetriKit: Petri Net Analysis Toolkit Icon

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

KEEP ME UPDATED

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

  • 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

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks