Browsing by Subject "Machine theory"
Now showing items 1-3 of 3
(Texas Tech University, 1996-12)A modeling technique for hybrid dynamics systems, using high-level Petri nets, is presented. A hybrid dynamics system is a continuous dynamics system in which discrete events occur. Modeling of hybrid dynamics systems is ...
(Texas Tech University, 1995-05)The Statechart visual formalism is an extension to the graphical notation of Finite State Machines. Statecharts have found use in the areas of specification, design, and prototyping of complex systems. This research extends ...
Stochastic petri nets applied to systematic performance evaluation of static allocation schemes in heterogeneous computing environments (Texas Tech University, 1996-05)Not available