Hanifa Boucheneb, Kamel Barkaoui. Reachability Analysis of P-time Petri Nets with Parametric Markings. In Jens Brandt, Keijo Heljanko, editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. pages 72-81, IEEE, 2012. [doi]
Abstract is missing.