ProceedingsIEEE, 1997 - Artificial intelligence |
From inside the book
Results 1-3 of 74
Page 253
... means of Petri nets . The interconnection is performed by signals only . The resulting system is no longer an or- dinary , classical Petri net . Hence , if we want to analyse those systems by means of methods for Petri nets , we have to ...
... means of Petri nets . The interconnection is performed by signals only . The resulting system is no longer an or- dinary , classical Petri net . Hence , if we want to analyse those systems by means of methods for Petri nets , we have to ...
Page 319
... means that there exits only one path in the process net 7 { Prl , Pr2 , Pr3 , P3 , P5 , P10 , P11 , P15 } : means a path 8 { Prl , Pr3 , P5 , P6 , P10 , P15 } : means an immediate path 9 { Pri , Pr4 , P4 , P7 , P15 } 10 { Pri , P4 , P10 ...
... means that there exits only one path in the process net 7 { Prl , Pr2 , Pr3 , P3 , P5 , P10 , P11 , P15 } : means a path 8 { Prl , Pr3 , P5 , P6 , P10 , P15 } : means an immediate path 9 { Pri , Pr4 , P4 , P7 , P15 } 10 { Pri , P4 , P10 ...
Page 342
... means that f becomes true in the next marking . The formula f , " henceforth " , means that f becomes true in every marking reached from the current marking . The formula of , " eventually " , means that f becomes true at some marking ...
... means that f becomes true in the next marking . The formula f , " henceforth " , means that f becomes true in every marking reached from the current marking . The formula of , " eventually " , means that f becomes true at some marking ...
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