ProceedingsIEEE, 1997 - Artificial intelligence |
From inside the book
Results 1-3 of 22
Page 259
... Firing a transition t consists of removing I ( p , t ) tokens from each of its input places p and adding O ( p , t ) tokens to each of its output places p . A marking M ' is said to be reachable from M if there exists a firing sequence ...
... Firing a transition t consists of removing I ( p , t ) tokens from each of its input places p and adding O ( p , t ) tokens to each of its output places p . A marking M ' is said to be reachable from M if there exists a firing sequence ...
Page 334
... firing count vector of nonnegative integers . Its component x , has fired during the execution of Xj the firing sequence S. A transition t ; ET is enabled if and only if M ( p ; ) > I ( pi , t ) , Vp ; e P. M ( p ) indicates the number ...
... firing count vector of nonnegative integers . Its component x , has fired during the execution of Xj the firing sequence S. A transition t ; ET is enabled if and only if M ( p ; ) > I ( pi , t ) , Vp ; e P. M ( p ) indicates the number ...
Page 539
... firing sequence is Пall ... Firing of an active transition j in state m re- sults in an new state m ' . We return from state m1 back in state m1 , if a transition firing sequence of II all ..... fires . For instance from the transition ...
... firing sequence is Пall ... Firing of an active transition j in state m re- sults in an new state m ' . We return from state m1 back in state m1 , if a transition firing sequence of II all ..... fires . For instance from the transition ...
Contents
Innovations in Design and Integrated | 1 |
Creative and Innovative Manufacturing | 4 |
Y Fan and C Wu Tsinghua Univ | 7 |
Copyright | |
43 other sections not shown
Other editions - View all
Common terms and phrases
according activities algorithm allows analysis application approach architecture assembly ATRT Automation called communication complete components considered constraints control system cost customers decision defined described determined dispatching distributed dynamic effective Engineering enterprise environment error estimated example exists Figure fixture flexible flow function given implementation important improvement industrial input integration interaction interface INTRODUCTION knowledge lead learning load locating machine manuals manufacturing means measurements method nets object obtained operation optimal output parameters performance Petri planning plant position possible presented problem proposed prototype real-time reference represents requirements robot rules scheduling selected sequence server shown shows simulation solution specific standard station structure task token tool transition unit University virtual