This is a screenshot for the software Petri Net Editor. This software is an editor for stochastic Petri-nets which