"An algorithm for the evolution graph of extended Hybrid Petri nets" . . "Piscataway" . "P(LN00B096)" . "0-7803-8567-5" . . . . . . . "Algorithm; Evolution graph; Extended hybrid Petri nets; analysis of behavior"@en . "Nen\u00ED k dispozici"@cs . "An algorithm for the evolution graph of extended Hybrid Petri nets" . "[CEDBEF957A60]" . . . . . "neuvedeno" . "Sv\u00E1dov\u00E1, Martina" . "An algorithm for the evolution graph of extended Hybrid Petri nets"@en . "21230" . . . "554046" . "An algorithm for the evolution graph of extended Hybrid Petri nets"@en . "2"^^ . . "2"^^ . "RIV/68407700:21230/04:03101741" . "RIV/68407700:21230/04:03101741!RIV/2005/MSM/212305/N" . . "Extended Hybrid Petri nets (eHPNs) defined by David & Caramihai are one of possible extensions of Hybrid Petri nets modeling a delay on continuous flow. The behavior of hybrid dynamic systems, modeled by eHPNs, can be studied using an evolution graph. This paper introduces an algorithm generating the evolution graph consisting of IB-states. A model of hydro-system is used as an illustrative example." . "Nen\u00ED k dispozici"@cs . . . . "Nen\u00ED k dispozici"@cs . "Extended Hybrid Petri nets (eHPNs) defined by David & Caramihai are one of possible extensions of Hybrid Petri nets modeling a delay on continuous flow. The behavior of hybrid dynamic systems, modeled by eHPNs, can be studied using an evolution graph. This paper introduces an algorithm generating the evolution graph consisting of IB-states. A model of hydro-system is used as an illustrative example."@en . "Hanz\u00E1lek, Zden\u011Bk" .