The file size is 2.47 MB, Petri Net Editor is an editor for stochastic Petri-nets which allows creating reachability trees and Markov graphs, simulating and gathering statistics on simulation. Create and edit stochastic Petri-nets with this tool. Requirements: * Java