Crate libpetri_verification 

Modules

analyzer

counterexample

dbm

environment

incidence_matrix

marking_state

net_flattener

p_invariant

property

result

scc

state_class

state_class_graph

structural_check