Symmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic

TitleSymmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic
Publication TypeConference Proceedings
Year of Conference2012
AuthorsMeyer, A-L, Silva M
Conference Name4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’12),
Pagination153-159
Date Published06/2012
Export