ProceedingsIEEE, 1997 - Artificial intelligence |
From inside the book
Results 1-3 of 74
Page 258
... called process nets with resources ( PNRs ) , which model shared - resource automated manufacturing systems based on the concept of separately specifying operation and resource requirements . It is shown that the reachability of a PNR ...
... called process nets with resources ( PNRs ) , which model shared - resource automated manufacturing systems based on the concept of separately specifying operation and resource requirements . It is shown that the reachability of a PNR ...
Page 259
... called live if for any marking MER ( M ) , there exists a firing sequence o from M which contains t . A Petri net is called live if each transition is live . It is known that a transition t in a Petri net is said to be : ( 1 ) dead if t ...
... called live if for any marking MER ( M ) , there exists a firing sequence o from M which contains t . A Petri net is called live if each transition is live . It is known that a transition t in a Petri net is said to be : ( 1 ) dead if t ...
Page 327
... called process nets . I. INTRODUCTION The usual definition of software testing typically refers to the testing of program code and not to the testing of models . used in earlier development stages of the software develop- ment process ...
... called process nets . I. INTRODUCTION The usual definition of software testing typically refers to the testing of program code and not to the testing of models . used in earlier development stages of the software develop- ment process ...
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