In: Conference proceedings for ESM94 in Barcelona, pages 146-150. 1994.
Abstract: Simulation Nets (SNs) are Petri Nets (PNs) extended for convenient modelling of discrete event simulation problems. The extensions included are zero testing, firing time for transitions, colored tokens, or-logic and interrupts. The paper describes a tool, XSimNet, which has been developed. It is an interpreter which accepts a text equivalence, SNL, of SNs and performs the simulation implied by the SN model. Validation is facilitated by providing several forms of trace and statistics. The automatic statistics collection concerning places and transitions can be extended by user defined formulas.