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...)
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.