. "Nen\u00ED k dispozici"@cs . . "Univerzita Pardubice" . "2004-06-08+02:00"^^ . "Sv\u00E1dov\u00E1, Martina" . "80-7194-662-1" . "1"^^ . "[BF534E8EC3A9]" . . "1"^^ . . "Nen\u00ED k dispozici"@cs . "RIV/68407700:21230/04:03101739!RIV/2005/MSM/212305/N" . . "Petri Net is a very powerful tool for modeling and analysis of the discrete event dynamic systems. In many practical cases, the systems are not only purely discrete or purely continuous, but they consist of a mixture of discrete and continuous parts. Hybrid Petri nets, with time delays associated with discrete transitions and maximal speeds associated with continuous transitions, are one of the tools allowing us to model and to analyze these systems. The behavior of hybrid dynamic systems, modeled by Hybrid Petri nets, can be studied using the evolution graph. This paper describes algorithm for finding such evolution graph." . . . "Kouty nad Desnou" . "Proceedings of the 6th International Scientific-Technical Conference on Process COntrol (\u0158\u00EDp 2004)" . . "Algrithm; Hybrid Petri nets; analysis of behavior"@en . "Petri Net is a very powerful tool for modeling and analysis of the discrete event dynamic systems. In many practical cases, the systems are not only purely discrete or purely continuous, but they consist of a mixture of discrete and continuous parts. Hybrid Petri nets, with time delays associated with discrete transitions and maximal speeds associated with continuous transitions, are one of the tools allowing us to model and to analyze these systems. The behavior of hybrid dynamic systems, modeled by Hybrid Petri nets, can be studied using the evolution graph. This paper describes algorithm for finding such evolution graph."@en . "21230" . "Algorithm for Analysis of behavior Hybrid Petri nets" . "1"^^ . . "Nen\u00ED k dispozici"@cs . . . . "RIV/68407700:21230/04:03101739" . "553875" . "Pardubice" . "136 ; 136" . . "Algorithm for Analysis of behavior Hybrid Petri nets"@en . "P(LN00B096)" . . "Algorithm for Analysis of behavior Hybrid Petri nets" . "Algorithm for Analysis of behavior Hybrid Petri nets"@en . . .