Konu "Deadlock" için Bildiri Koleksiyonu listeleme
Toplam kayıt 3, listelenen: 1-3
-
Deadlock analysis for continuous Petri nets by using overlapping decompositions
(2007)The continuous Petri nets model, in which the tokens are denoted by real numbers and the firing of transitions depends on speeds of each transition and time, is considered to analyse deadlock in this work. Deadlock analysis, ... -
A program for analysis and control of Petri nets
(IEEE, 2004)Analysis and control algorithms are introduced for discrete-event systems which are modeled by Petri nets. A simulation and control design program is then developed to implement these algorithms. The program can simulate ... -
Supervisory controller design for timed Petri Nets
(IEEE, 2006)A method, called "stretching ", is introduced to represent timed Petri nets. Using this method, a new Petri net, called "stretched Petri net", which has only unit delays, is obtained to represent a timed-transition Petri ...