GitHub repository: zinoviy23/petri-nets-reduction-analyzer
Primary language: Java
Description: Course work. Tool for analyzing petri nets with reductions