Modeling and Analysis of High Level Petri Net model via Simulation, Spin Model Checker and Z3 SMT Checker