I've rigorously tested a Petri Net algorithm with random values, confirming its efficiency and reliability for modeling complex systems and resource management.
-
Updated
Oct 30, 2023 - C++
I've rigorously tested a Petri Net algorithm with random values, confirming its efficiency and reliability for modeling complex systems and resource management.
I've tested a Petri Net algorithm with user input, confirming its reliability with random values. It's proven effective for modeling complex systems and resource management.
Simple Java library for Petri nets
Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.
Simple Petri Net simulator
build models using Petri-nets with an internal Domain Specific Language (DSL)
nwn-snakes is a Petri Net library supporting Nets within Nets modeling. It is a customized version of SNAKES, the Net Algebra Kit for Editors and Simulators developed by Franck Pommereau.
It is a expert system which does a Petri Net style resource allocation. This is an academic project done as a part of EECS 639 course.
Orchestrate (micro)service-based process flows
wfnedit is a simple cross-platform GUI editor for workflow nets.
I've combined a Genetic Algorithm with a Petri Net model, enabling efficient optimization. This integration enhances adaptability and efficiency for solving complex problems. It's a powerful tool for applications like resource allocation and process optimization.
Final work about Petri Nets for Concurrent Programming , FCEFyN, UNC
Solution for Petri Net metrics. BPM course
A repository to update learning notes and reports, codes and projects about Service substitution based on process mining.
Add a description, image, and links to the petri-net topic page so that developers can more easily learn about it.
To associate your repository with the petri-net topic, visit your repo's landing page and select "manage topics."