Konu "Reachability Set" için Bildiri Koleksiyonu listeleme
Toplam kayıt 1, listelenen: 1-1
-
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 ...