Title of article
Combining hybrid Petri nets and hybrid automata
Author/Authors
Sava، نويسنده , , A.T.، نويسنده , , Alla، نويسنده , , H.، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 2001
Pages
9
From page
670
To page
678
Keywords
Hybrid automata , Hybrid Petri nets , Hybrid systems , quantitative analysis. , MODELING
Journal title
I E E E Transactions on Robotics and Automation
Serial Year
2001
Journal title
I E E E Transactions on Robotics and Automation
Record number
391600
Link To Document