Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for petri net
petri-net
x
41 search results found
Workflow
⭐
561
Provides tools for managing a workflow or finite state machine
Baker
⭐
310
Orchestrate microservice-based process flows
Workflow_core
⭐
166
[Deprecated, use flor_core instead] A Rails engine which providing essential infrastructure of workflow. It's based on Workflow Nets.
Petri_flow
⭐
152
Petri Net Workflow Engine for Ruby.
Flow_core
⭐
127
FlowCore is a Rails engine to help you build your automation or business process application.
Petrinet
⭐
110
🚥 Petrinet framework for PHP
Gen_pnet
⭐
54
library for modeling Petri nets in Erlang
Workcraft
⭐
53
Toolset to capture, simulate, synthesize and verify graph models
Ltsmin
⭐
49
The LTSmin model checking toolset
Plg
⭐
32
A Business Processes and Logs Generator
Smpt
⭐
26
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Codebase
⭐
26
The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes. The library offers a broad range of basis analysis and utility functionality and, due to its open publishing model, can easily be extended.
Itstools
⭐
20
A multi-formalism, multi-solution model-checker centered on the language GAL
Gruff
⭐
20
A basic worker pool manager for Erlang to showcase gen_pnet.
Mbt Bundle
⭐
19
A core library for Sicope Model, a Model-Based Testing tool for web application.
Application Engine
⭐
18
Workflow management system fully supporting low-code language Petriflow.
Symmetri
⭐
16
Parses a Petri net and runs it
Pydream
⭐
15
Python Implementation of Decay Replay Mining (DREAM)
Petriflow
⭐
15
Next-generation end-to-end low code language based on Petri nets.
Cargo Check Deadlock
⭐
15
Find deadlocks in Rust code with Petri net model checking
Heuristicsminer
⭐
13
Heuristics Miner in R and integrated with the bupaR framework.
Ptn Engine
⭐
12
A Petri net based automation engine.
Timedpetrineteditor
⭐
11
[Version 0.4.0][Application][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
Pn_suite
⭐
10
A suite of tools for Petri Nets
Pfdl
⭐
8
A Production Flow Description Language for an Order-Controlled Production
Cunf
⭐
8
A model checker for safe Petri nets based on partial-order semantics
Dstbx
⭐
7
dependently typed Statebox (heavy WIP)
Mcc
⭐
7
High-Level Nets Blaster for the Model-Checking Contest
Pyalpha
⭐
7
A process mining tool written in Python3
Cpnbook
⭐
7
Homepage for the Coloured Petri Nets book
Petrinet
⭐
6
Petri Net simulation and diagramming
Petrikit
⭐
6
PetriNet toolset for swift
Opulus
⭐
6
Simple Petri net editor and simulator
Gspn Framework
⭐
5
Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN)
Pyspn
⭐
5
A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
Avatar
⭐
5
AdVersarial system vArianT AppRoximation - A novel method to measure the generalization of process models
Petri Net Editor
⭐
5
A minimalist Petri net editor.
Nae Backend Application Starter
⭐
5
Backend Starter project for Netgrif Application Engine
Kong
⭐
5
Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).
Hypergraph
⭐
5
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
Ecofolder
⭐
5
Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.
1-41 of 41 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.