GitHub repository: soufianeelm/PetriSpot
Description: A protoype project to model check LTL formula on Petri nets.