petri_net_core
