Title of article :
Combining hybrid Petri nets and hybrid automata
Author/Authors :
Sava، نويسنده , , A.T.، نويسنده , , Alla، نويسنده , , H.، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 2001
Keywords :
Hybrid automata , Hybrid Petri nets , Hybrid systems , quantitative analysis. , MODELING
Journal title :
I E E E Transactions on Robotics and Automation
Journal title :
I E E E Transactions on Robotics and Automation
