TY - SER AU - Gaetano, Russo TI - Efficient Discrete-Event Simulation of Colorded Petri Nets KW - Discrete Event Simulation KW - High-Level Fuzzy Petri Nets KW - Stochastic Weli- Formed Nets ER -