GitHub repository: yanntm/InvariantPerformance
Primary language: Perl
Created: 2023-03-29T13:12:31Z
Description: Repository containing scripts and logs of experiments on computation of Petri net invariants.