Ferramentas do usuário

Ferramentas do site


Petri nets

I stopped any active work on Petri nets in 1990. I have no tutorials, books, links, softwares, etc, other than the material available in this page (so please don't waste your/my time asking me about such things…)


  • ARP - Petri Net Analysis Tool: this tool was build by myself during my MSc, between 1988-1990.
  • PetriKit - a Python toolkit for Petri Net analysis: this set of tools was built by Conrado Gouvea for his undergraduate project at PUCPR, in 2007. It implements some of the ARP algorithms in standalone Python components. It understands ARP/PNML formats and performs the reachability and invariant analysis on P-T nets.
software/petri_nets.txt · Última modificação: 2010/11/19 10:14 por maziero