Traditionally, the semiconductor manufacturing industry has been driven by continuous technological advancement of the underlying production processes. Yet, as the industry matures, mere technology development is no longer sufficient. The effective deployment and exploitation of the system production capacity and operational capability become critical for competitive success. Hence, currently, there is an increasing interest towards the development of a control paradigm / framework that will allow the effective and efficient (re-)deployment and operation of contemporary fabs. The research program presented in this paper seeks to define a detailed modeling and control framework for the real-time fab operations, by exploiting and integrating emerging results in Discrete Event Systems theory. Furthermore, in addition to the development of the formal specification, the presented program will also implement the proposed fab modeling and control framework in a Web-based simulation platform, ..