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
Red Hat Ansible Automation Platform on Microsoft Azure Icon
Red Hat Ansible Automation Platform on Microsoft Azure

Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
Learn More
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 2 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