Compared with fault detection and isolation (FDI) issues modeling of an industrial productivity process (IPP) is more important issue due to the fact that FDI schemes usually depend on the developed process models. IPP is always modeled by Grafcet that represents a process model with safe or discrete modules. However, hybrid systems are discrete, continuous, and actually are unsafe. Unlike Grafcet, Petri nets are mathematical approaches that combine a well defined mathematical theory with a graphical representation of the systems' dynamic behaviors. The theoretic aspect of Petri nets allow precise modeling and analysis of the system behavior, while the graphical representation of Petri nets (PNs) enable visualization of the changes of the system states. According to these reasons, modeling, analyzing, and verifying of the IPP using Petri nets are valuable issues to be addressed in this paper. Introducing Petri nets as graphical representation tool for modeling and supervision of the IPP instead of Grafcet is the main contribution of this paper. This contribution can be achieved as follows. First, the required information is collected from the expertise and the available catalogues of the IPP to be modeled. Second, the process will be modeled using Petri nets based on the collected information. Third, the PN-modules of the IPP and its net PN-model should be verified and validated using MATLAB-based PN-tool and P-invariant concepts. Simulation results show that the proposed PN formalism is promising for modeling and validating of the IPP at real time.