This paper seeks to establish within a formal framework for modeling the robust control laws of manufacturing systems to temporal and non-temporal constraints. The goal is to conclude the type from the production system robustness. A methodology of robust control construction generating the margins of passive and active robustness is elaborated. The redundancy of the robustness of the elementary parameters between passive and active is used. Indeed, local models are developed; each of them modeling resource robustness. Then, a synchronized assembly of these models enabled us to constitute our final model. The Intervals Constrained Petri Nets (ICPN) tool is used. To this goal, a whole of definitions, lemmas and theorems are committed and affirmed per applicable examples.