Konu "Reachability Set" için Elektrik ve Elektronik Mühendisliği Bölümü listeleme
Toplam kayıt 2, listelenen: 1-2
-
Representation of the state of timed-place Petri nets using stretching
(2009)Unlike untimed Petri nets, representation of the state of a timed Petri net and describing its evolution is not an easy task. Here, an approach, called place-stretching, is introduced to represent the state of a timed-place ... -
A simulation algorithm for real systems using petri nets
(2007)The real systems are considered to determine all states in the given time interval in this work. The timed Petri net that time delays are assigned to the transition is chosen to model for the real systems. Then, a new class ...