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.

Project Activity

See All Activity >

Categories

Simulation, Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit Web Site

You Might Also Like
Speech-to-Text: Automatic Speech Recognition Icon
Speech-to-Text: Automatic Speech Recognition

Accurately convert voice to text in over 125 languages and variants by applying Google's powerful machine learning models with an easy-to-use API.

New customers get $300 in free credits to spend on Speech-to-Text. All customers get 60 minutes for transcribing and analyzing audio free per month, not charged against your credits.
Try for free
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
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

User Reviews

Filter Reviews:
★★★★

There are no 4 star reviews.

Additional Project Details

Languages

English

Intended Audience

Science/Research, Education, Advanced End Users

User Interface

Command-line

Programming Language

Python

Related Categories

Python Simulation Software, Python Mathematics Software

Registered

2007-11-10
Report inappropriate content