| [1] | Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions (José Luis Briz and José-Manuel Colom), In Proceedings of 1994 IEEE International Conference on Systems, Man and Cybernetics, IEEE Computer Society Press, volume 2, 1994. |