摘要

Modeling and analysis hybrid systems with both continuous-time and discrete-event dynamics is vital need. Motivated by the need for the effective modeling and optimization of hybrid system, a new type hybrid Petri nets model based on interval speed continuous Petri nets (ICPNs) -time hybrid Petri nets (THPNs) is defined. The enabling and firing semantics of transitions of the THPNs are discussed, and an efficient way to calculate the instantaneous firing speed is presented. Net dynamic behavior is also developed. As an example of application, we show how the proposed formalism can be applied to modeling and optimization of flexible manufacturing system.