Simulation and Detection of Some Properties of Hybrid System Based Differential Predicate-Transition Petri Nets by Means of VHDL-AMS