Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics

Anna-Lena Meyer, Manuel Silva 0001. Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics. In Maurice Heemels, Bart De Schutter, editors, 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012. Volume 45 of IFAC Proceedings Volumes, pages 153-159, Elsevier, 2012. [doi]

Abstract

Abstract is missing.