GUŢULEAC, E.; GÎRLEANU, I.; ABABII, V.; HLOPEANICOV, C.
(Technical University of Moldova, 2015)
In this paper a Hybrid Stochastic Petri Net unifying framework is presented to provide a wide modeling and verifying of wireless sensor nodes, oriented for representation of the current state evolution of discrete-continuous ...