@article{ACR16,
  	author =	{Andr\'e, {\'E}tienne and Chatain, Thomas and Rodríguez, César},
	title = {Preserving Partial Order Runs in Parametric Time {P}etri Nets},
  	doi = {10.1145/3012283},
  	journal =	{Transactions on Embedded Computing Systems},
  	pages =	{43:1-43:26},
  	publisher = {ACM},
  	volume =	{16},
  	number =	{2},
  	month =	{mar},
  	year =	{2017},
}