Graphics Petri Nets and APT GUI

Final project for concurrent programming subject at @FCEFyN, UNC, Argentina.

Automated planning for alignment-based conformance checking - Mirror of the official SVN repository of the ProM package "PlanningBasedAlignment".

Simple Java library for Petri nets

Utility for computing transition priorities for live Petri nets

wfnedit is a simple cross-platform GUI editor for workflow nets.

WoPeD Client

A library to describe Petri nets and [de]serialize them as PNML XML files

Java application that allows you to check the temporal validaty of BPEL process using BPEL Things-NET

Trabalho do Grau A de Simulação e Modelagem de Sistemas. Unisinos, 2019.

Petri Game Strategy Synthesis

Final work about Petri Nets for Concurrent Programming , FCEFyN, UNC

PipePlus is a tool to model, analyze verify discrete, continuous and hybrid systems using Hybrid Predicate Transition Nets.

Demo project for microservice architecture with Petri nets.

excercises for course 'model driven software development'

All the stuff made for Information systems modeling and analysis (Modelowanie i analiza systemów informatycznych) course at the university.

Software that analyzes Petri net models to obtain insight of their structure and behavior.

Trabalho do Grau A de Simulação e Modelagem de Sistemas. Unisinos, 2019.