Preserving Partial Order Runs in Parametric Time Petri Nets

É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]

Authors

Étienne André

This author has not been identified. Look up 'Étienne André' in Google

Thomas Chatain

This author has not been identified. Look up 'Thomas Chatain' in Google

Cesar Rodriguez

This author has not been identified. Look up 'Cesar Rodriguez' in Google