Symmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic
Title | Symmetry Reductions in Timed Continuous Petri Nets under Infinite Server Semantic |
Publication Type | Conference Proceedings |
Year of Conference | 2012 |
Authors | Meyer, A-L, Silva M |
Conference Name | 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’12), |
Pagination | 153-159 |
Date Published | 06/2012 |
Export |