petri-nets

Open-source projects categorized as petri-nets
Edit details
Language: + Python + C++ + Common Lisp + D
Topics: petri-net reachability-analysis structural-reductions Linear Algebra timed
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 4 petri-net Open-Source Projects

  • SMPT

    SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

    • Project mention: Petri Net for tokio ? | /r/rust | 2023-09-05

    I also found https://github.com/nicolasAmat/SMPT maybe it should be used because SMT, Z3 looks familiar. It's used in fancy new theorem provers.

  • TimedPetriNetEditor

    [Application][Version 0.4.0][Functional] A timed Petri net and graph event editor and simulator combined to (max,+) algebra with wrapped API for Julia lang https://youtu.be/wsiF6u7DNVQ

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • PetriNets-CLIM-Demo

    A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI

  • medal

    A workflow engine based on Petri nets

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

petri-nets related posts

  • A cross platform petri net simulation library written in C

    8 projects | /r/PetriNets | 22 Aug 2022

  • My Common Lisp & CLIM GitHub Repos

    2 projects | /r/Common_Lisp | 12 Mar 2021

  • Medal: A workflow engine based on Petri nets in D language

    1 project | news.ycombinator.com | 3 Jan 2021

Index

What are some of the best open-source petri-net projects? This list will help you:

Project Stars
1 SMPT 27
2 TimedPetriNetEditor 13
3 PetriNets-CLIM-Demo 8
4 medal 2

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com