Return to Article Details Discrete event problem solution in dynamic systems using Petri networks and HiPS software