GitHub repository: leilaghanbar/PetriNets
Description: An introduction on Petri nets