GitHub repository: IgorKhm/MinCov
Primary language: Prolog
Description: An tool that produces the coverabillty set for Petri nets