GitHub repository: yanntm/PetriSpot
Primary language: C++
Created: 2020-10-13T19:41:49Z
Description: A protoype project to model check LTL formula on Petri nets.