@article {ARJuReSi06,
	title = {Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets},
	journal = {IEEE Trans. on Automatic Control},
	volume = {51},
	year = {2006},
	pages = {1472-1481},
	author = {J. Julvez and L. Recalde and M. Silva}
}

