TIMED COLOURED PETRI NETS AND THEIR APPLICATION TO LOGISTICS
CON TEN TS 1 IN TRO DUCTION 1 1 1 PROBLEM STATEMEN T 1 1 2 P ETRI NETS 4 1 3 TIME AND COLOUR IN P ETRI NETS 6 1 3 1 ADDING COLOUR 6 1 3 2 ADDING TIME 7 1 4 ANALYSIS OF TIMED COLOURED P ETRI NETS 10 1 4 1 CURREN TLY USED ANALYSIS METHO DS 10 1 4 2 ANALYSIS METHO DS BASED ON THE ITCPN MO DEL 12 1 5 EXSP ECT 16 1 6 APPLICATION TO LOGISTICS 18 1 7 OTHER METHO DS 19 1 8 OUTLINE OF THIS MONOGRAPH 22 2 A TIMED COLOURED P ETRI NET MO DEL 23 2 1 IN TRO DUCTION 23 2 2 NOTATIONS 24 2 3 T RANSITION SYSTEMS 29 2 4 THE MO DEL 34 2 4 1 SEMAN TICS OF AN ITCPN 37 2 4 2 ALTERNATIV E RING RULES 41 2 5 SOME FURTHER CONCEPTS AND PROP ERTIES 47 2 6 IN TERESTING P ERFORMANCE MEASURES 58 2 7 CONCLUSION 65 3 ANALYSIS OF TIME IN NETS 67 3 1 IN TRO DUCTION 67 3 2 METHO D A TCFN 71 3 2 1 APPLICATION TO PRO JECT ENGINEERING 76 3 3 METHO D MTSR T 79 3 3 1 THE MO DIED TRANSITION SYSTEM 82 3 3 2 USING THE MO DIED TRANSITION SYSTEM 90 3 4 METHO D PNR T 97 3 5 DEALING WITH LARGE COLOUR SETS 109 3 5 1 APPROAC H 1 REMO V E THE COLOUR 111 I II CONTENTS 3 5 2 APPROAC H 2 RENE THE NET 116 3 6 AN EXAMPLE 126 3 7 CONCLUSION 136 3 8 APP ENDIX 141 4 LANGUAGE AND TO OL 145 4 1 MOTIV ATION 145 4 2 THE LANGUAGE 146 4 2 1 T YP E DENITIONS 147 4 2 2 F UNCTION DENITIONS 148 4 2 3 PRO CESSOR DENITIONS 149 4 2 4 SYSTEM DENITIONS 151 4 3 THE SOFT W ARE PAC K AGE 157 4 3 1 THE SHELL 159 4 3 2 THE DESIGN IN TERFACE 159 4 3 3 THE T YP E C HEC K ER 161 4 3 4 THE IN TERPRETER AND THE RUN TIME IN TERFACE 161 4 3 5 THE ITPN ANALYSIS T O OL 161 4 4 ENGINEERING THE MO DELLING PRO CESS 165 4 5 A LIBRARY QNM 167 5 MO DELLING LOGISTIC SYSTEMS 175 5 1 IN TRO DUCTION 175 5 2 LOGISTICS 176 5 3 WH Y P ETRI NETS 180 5 4 STRUCTURING LOGISTIC SYSTEMS 192 5 4 1 T YPICAL LOGISTIC ACTIVITIES 199 5 4 2 T YPICAL CON TROL STRUCTURES 201 5 5 A LOGISTIC LIBRARY 208 5 5 1 THE T YP E DENITIONS 210 5 5 2 THE SUPPLY SYSTEM 214 5 5 3 THE DEMAND SYSTEM 217 5 5 4 THE PRO DUCTION UNIT 219 5 5 5 THE STO C K P OIN T 223 5 5 6 THE TRANSP ORT SYSTEM 228 5 6 SOME GUIDELINES 233 5 7 AN EXAMPLE 238 5 7 1 THE PRESEN T SITUATION 238 5 7 2 ALTERNATIV ES 244 5 8 CONCLUSION 244 6 CONCLUSIONS AND FURTHER RESEARC H 247 BIBLIOGRAPH Y 251