Étienne André, Thomas Chatain, Cesar Rodriguez. Preserving Partial Order Runs in Parametric Time Petri Nets. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 120-129, IEEE Computer Society, 2015. [doi]
Abstract is missing.