Behavioral Properties and Determining Methods of Hybrid Petri Net Model of Hybrid System

• 混和系统Petri网模型的行为特性及判定方法