@inproceedings {1070,
	title = {Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions},
	booktitle = {1994 IEEE International Conference on System, Man and Cybernetics},
	volume = {2},
	year = {1994},
	month = {10/1994},
	pages = {1671-1676},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {San Antonio, Texas, USA},
	isbn = {-7803-2129-4},
	author = {J.L. Briz and J.M. Colom and M. Silva}
}

