XSIMNET, a tool in C++ for executing simulation nets
A PHP Error was encountered
Message: Undefined index: id
Line Number: 218
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 tool XSimNet 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.