@proceedings {1296,
	title = {On reachability and deadlock-freeness of Hybrid Adaptive Petri nets},
	year = {2011},
	keywords = {deadlock-freeness, reachability, hybrid adaptive Petri nets, hybrid Petri nets},
	author = {E. Fraca and J. Julvez and Mahulea, Cristian and M. Silva}
}

