A tool to compute some characteristics on sport Petri nets
-
Updated
Jun 26, 2018 - JavaScript
A tool to compute some characteristics on sport Petri nets
All the stuff made for Information systems modeling and analysis (Modelowanie i analiza systemów informatycznych) course at the university.
A tool for modeling Petri Nets
CoRA2: Coverability and Reachability analyzer, now with .pnml support!
A web application to model and simulate place-/transition nets.
A distributed and conservative Petri net simulator
Collection of projects made on a language and computation theory course at Universidad de los Andes
Simple Java library for Petri nets
Modeling of paracetamol pharmacokinetics on zebrafish larvae, with Petri Nets.
Tina Petri nets and FlexFact integration
A tool to draw Petri Nets and analyze their static and dynamic behavior.
Projects I've made during undergraduation at UFSC
This page contains a small technical challenge (and the solution) for Python (Django) developers.
A Colored Petri Net which models the workflow of a developer during a Scrum/Agile sprint
This is a brief project (and tutorial) on petri nets.
Web app for developing process-driven application in low-code language Petriflow.
Elaborated projects with theoretical assignments during the master's degree.
Petri-Net Metamodel Explorer - build and run Petri-net models in the browser.
Petri nets diagrams for OpenPonk tool
Add a description, image, and links to the petri-nets topic page so that developers can more easily learn about it.
To associate your repository with the petri-nets topic, visit your repo's landing page and select "manage topics."