zejiran / languages-and-machines Star 2 Code Issues Pull requests Collection of projects made on a language and computation theory course at Universidad de los Andes automata petri-nets turing-machine language-processing uniandes finite-state-transducers abstract-machines Updated Jun 5, 2022 HTML
netgrif / petriflow.svg Star 2 Code Issues Pull requests Angular library of SVG elements for visual representation of Petriflow objects. svg npm angular npm-package petri-nets angular-library petriflow Updated Nov 5, 2023 HTML
mhawryluk / concurrency-lab Star 0 Code Issues Pull requests Code from the Theory of Concurrency class at the AGH UST csp concurrency petri-nets Updated Feb 18, 2022 HTML
andreepdias / MFO0001 Star 0 Code Issues Pull requests Implementação de uma Rede de Petri para MFO0001. cpp petri-nets Updated Oct 8, 2020 HTML