物流系统着色Petri网模型研究
|
摘要
物流系统的建模与分析是国内外学者研究的热点问题,对物流和供应链系统建模研究的理论和方法很多,本论文应用前人提出的Petri网基础理论,比较全面地建立了可在计算机上进行模拟验证的物流系统模型,论文的模型涵盖了物流系统的典型结构模型、逻辑关系模型、企业内部物流模型、供应链模型,这些模型层次由低到高,基本包括了物流管理中的常见模型。
论文按照Petri网理论将物流系统分解为串联、并联、循环、选择,以及“与”、“或”、“异或”等基本结构,在此基础上建立了物流系统的库存控制、仓储物流、以及JIT系统的着色Petri网模型,并对模型进行了模拟计算,分析模型的特性。
论文在以上模型的基础上,采用层次建模方法,构建了供应链着色Petri网模型,并以北京2008年奥运会为例,构建了具有计划供应与订货点订货的供应链模型,论文从实际需求的影响、采购周期和计划供应提前期三个方面对奥运供应链模型进行了分析。
论文创新点如下:
1)对物流系统的串联、并联、循环、选择结构和“与”、“或”、“异或”逻辑关系建立了Petri网模型,对前人的工作进行了验证和补充完善;
2)构建了库存控制、仓储物流着色Petri网模型,并以企业实例数据对库存控制模型进行了模拟仿真,论文对非正态分布需求下安全库存与缺货率的关系、以及仓储作业评价指标进行了分析;
3)构建了JIT系统着色Petri网模型,对订货时间间隔与供货频率进行了模拟分析,提出只有当客户订货时间间隔大于等于采购供货频率时,JIT系统才能表现出即时响应;
4)综合构建了供应链着色Petri网模型,并对供应链的鞭子效应进行了模拟,提出以采用平均客户响应速度来衡量供应链响应速度比较合理;
5)以北京2008年奥运会为例,构建了具有计划供应与订货点订货的奥运供应链模型,经过模拟分析发现,当计划供应提前期与采购周期相同时,供应链的库存量最小,响应速度最快,此时,供应链处于最佳状态。
本论文共有图152幅,表70个,参考文献162篇。
The Logistics system modeling and analysis is the hot research field in the world. There are a lot of theories on logistics and supply chain. In this thesis the timed colored Petri nets is used to build logistics models. These models could be running on the computer, and they are covered from the logistics typical structure model, logic model, to the enterprise's internal model and supply chain model. These models are from low level to high level. The normal models in logistics management are included.
The Petri nets model of "AND" , "OR", "XOR" and sequence, parallel, cycle, choice basic structure model are mentioned in this thesis. After that, the inventory control, warehouse operation and JIT system Petri nets model is also built. All the models are calculated by simulation, and the results are analyzed. The model's properties are also discussed.
Synthesis these models, a supply chain model of Timed Colored Petri net is put forward. It is a hierarchy model. In this model, the item is expressed by colored variable. It can describe different kind items. So the Supply Chain model can be applicability to many cases.
In This thesis the 2008 Beijing Olympic Games is studied. The Beijing Olympic Games Supply Chain Petri nets model is built. The feature of Olympic Games supply chain is that the inventory is controlled by the supply planning, at the same time, the reorder point inventory control must be considered. The thesis discussed the model on three aspects: the real demands, the purchase period and the supply lead time.
Some research works are done in this thesis:
1) The sequence, parallel, cycle, choice structure model and the logic model of "AND","OR", "XOR" are built sisterly. Former's workers are confirmed and improved.
2) The Inventory control, warehouse operation models are constructed. The inventory control model is corroborated by using a company's data. On the simulation foundation, the relationship of safe inventory and the rate of out stock under the non-normal distribution demand, the evaluation index of warehouse operation are discussed in this thesis.
3) JIT system colored Petri nets model is put forward. In the thesis, the relationship of order interval and supply frequency is analysis by simulation. It is found that when the order interval is greater than the supply frequency, the JIT system will appear supply immediately.
4) The Supply Chain Colored Petri nets model is also built. The bull whip effect is confirmed by simulation. The average customer response speed can be used to evaluate the response speed of Supply Chain.
5) The 2008 Beijing Olympic Games Supply Chain model is discussed at last. The model feature is the planning mixed with random demand. After simulation, get the conclusion that when the supply lead time is same as the purchase period, the inventory is lower, the response speed is faster, the Supply Chain is under best condition.
This thesis includes 152 charts, 70 tables, and reference 162 papers.
论文按照Petri网理论将物流系统分解为串联、并联、循环、选择,以及“与”、“或”、“异或”等基本结构,在此基础上建立了物流系统的库存控制、仓储物流、以及JIT系统的着色Petri网模型,并对模型进行了模拟计算,分析模型的特性。
论文在以上模型的基础上,采用层次建模方法,构建了供应链着色Petri网模型,并以北京2008年奥运会为例,构建了具有计划供应与订货点订货的供应链模型,论文从实际需求的影响、采购周期和计划供应提前期三个方面对奥运供应链模型进行了分析。
论文创新点如下:
1)对物流系统的串联、并联、循环、选择结构和“与”、“或”、“异或”逻辑关系建立了Petri网模型,对前人的工作进行了验证和补充完善;
2)构建了库存控制、仓储物流着色Petri网模型,并以企业实例数据对库存控制模型进行了模拟仿真,论文对非正态分布需求下安全库存与缺货率的关系、以及仓储作业评价指标进行了分析;
3)构建了JIT系统着色Petri网模型,对订货时间间隔与供货频率进行了模拟分析,提出只有当客户订货时间间隔大于等于采购供货频率时,JIT系统才能表现出即时响应;
4)综合构建了供应链着色Petri网模型,并对供应链的鞭子效应进行了模拟,提出以采用平均客户响应速度来衡量供应链响应速度比较合理;
5)以北京2008年奥运会为例,构建了具有计划供应与订货点订货的奥运供应链模型,经过模拟分析发现,当计划供应提前期与采购周期相同时,供应链的库存量最小,响应速度最快,此时,供应链处于最佳状态。
本论文共有图152幅,表70个,参考文献162篇。
The Logistics system modeling and analysis is the hot research field in the world. There are a lot of theories on logistics and supply chain. In this thesis the timed colored Petri nets is used to build logistics models. These models could be running on the computer, and they are covered from the logistics typical structure model, logic model, to the enterprise's internal model and supply chain model. These models are from low level to high level. The normal models in logistics management are included.
The Petri nets model of "AND" , "OR", "XOR" and sequence, parallel, cycle, choice basic structure model are mentioned in this thesis. After that, the inventory control, warehouse operation and JIT system Petri nets model is also built. All the models are calculated by simulation, and the results are analyzed. The model's properties are also discussed.
Synthesis these models, a supply chain model of Timed Colored Petri net is put forward. It is a hierarchy model. In this model, the item is expressed by colored variable. It can describe different kind items. So the Supply Chain model can be applicability to many cases.
In This thesis the 2008 Beijing Olympic Games is studied. The Beijing Olympic Games Supply Chain Petri nets model is built. The feature of Olympic Games supply chain is that the inventory is controlled by the supply planning, at the same time, the reorder point inventory control must be considered. The thesis discussed the model on three aspects: the real demands, the purchase period and the supply lead time.
Some research works are done in this thesis:
1) The sequence, parallel, cycle, choice structure model and the logic model of "AND","OR", "XOR" are built sisterly. Former's workers are confirmed and improved.
2) The Inventory control, warehouse operation models are constructed. The inventory control model is corroborated by using a company's data. On the simulation foundation, the relationship of safe inventory and the rate of out stock under the non-normal distribution demand, the evaluation index of warehouse operation are discussed in this thesis.
3) JIT system colored Petri nets model is put forward. In the thesis, the relationship of order interval and supply frequency is analysis by simulation. It is found that when the order interval is greater than the supply frequency, the JIT system will appear supply immediately.
4) The Supply Chain Colored Petri nets model is also built. The bull whip effect is confirmed by simulation. The average customer response speed can be used to evaluate the response speed of Supply Chain.
5) The 2008 Beijing Olympic Games Supply Chain model is discussed at last. The model feature is the planning mixed with random demand. After simulation, get the conclusion that when the supply lead time is same as the purchase period, the inventory is lower, the response speed is faster, the Supply Chain is under best condition.
This thesis includes 152 charts, 70 tables, and reference 162 papers.
引文
[1]Beamon B.M.Supply chain design and analysis:models and methods[J].Intenational Journal of Production Economics,1998,55(3):281-294
[2]陈剑,蔡连桥.供应链建模与优化[J].系统工程理论与实践,2001,6(1)26-23
[3]Petri C.A.Communnication With Automata[M].New York:Griffiss Air Force Base.Tech.Rep.1966,1(1)
[4]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:1
[5]张晓萍,颜永年,吴耀华,荆明.现代生产物流及仿真[M].北京:清华大学出版社.1998:180-181
[6]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:19
[7]张文杰.北京奥运物流系统规划[M].北京:中国物资出版社,2007:166-210
[8]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:17-18.
[9]顾启泰.离散事件系统建模与仿真[M].北京:清华大学出版社,1999:1
[10]张晓萍,颜永年,吴耀华,荆明.现代生产物流及仿真[M].北京:清华大学出版社.1998:182
[11]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:51.
[12]Solberg J J.A Mathematical Models of Computerized Manufacturing Systems.Proceeding of the 4~(th)International Conference on Production Research.Tokyo:1977
[13]Christian Larsen.Investigating sensitivity and the impact of information on pricing decisions in an M/M/1/∞ queuing model[J].International Journal of Production Economics,1998,56-57(9):365-377
[14]Roger M.Hill.On the suboptimality of(S-1,S)lost sales inventory policies.International Journal of Production Economics,1999,59(3):387-393
[15]Yoichi Seki and Naoto Hoshino.Transient behavior of a single-stage Kanab system based on the queuing model.International Journal of Production Economics,1999,60-61(4):369-374
[16]Charles S Tapiero.The NBD repeat purchase process and M/G/∞ queues.International Journal of Production Economics,2000,63(1):141-145
[17]A.Haskose,B.G.Kingsman and D.Worthington.Modeling flow and jobbing shops as a queuing network for workload control[J].International Journal of Production Economics,2002,78(8):271-285
[18]Sang,in Choi,S.T.Enns.Multi-product capacity-constrained lot sizing with economic objectives[J].International Journal of Production Economics,2004,91(9):47-62
[19]Peter Kochel.Finite queueing systems-structural investigations and optimal design[J].International Journal of Production Economics,2004,88(3):157-171
[20]吴耀华,王胜力,王常香.排队论在物流规划中的应用[J].物流科技,2004,27(5):53-55.
[21]区伟明,胡奇英.CMIS物流调度系统的建模与仿真[J].计算机集成制造系统,2004,10(9):1067-1072.
[22]Ming Dong,F.Frank Chen.Performance modeling and analysis of integrated logistic chains:An analytic framework[J].European Journal of Operational Research,2005,162(4):83-98
[23]薛永吉,李旭宏,程日盛.基于仿真技术的物流中心站台数确定方法研究[J].物流技术,2005,(6):37-39
[24]崔俊,霍金宁.联合库存在备件物流系统中的应用分析[A].中国企业运筹学学术交流大会论文集2005[C].中国企业运筹学学术交流大会,成都.2005:16-18
[25]M.Kampf,P.Kochel.Simulation-based sequencing and lot size optimization for a production-and-inventory system with multiple items[J].International Journal of Production Economics,2006,104(11):191-200
[26]Shahab Sokhansanj,Amit Kumar,Anthony F.Turhollow.Development and implementation of integrated biomass supply analysis and logistics model(IBSAL)[J].Biomass and Bioenergy,2006,30(10):838-847
[27]Ana Paula Iannoni,Reinaldo Morabito.A discrete simulation analysis of a logistics supply system[J].Transportation Research Part E:Logistics and Transportation Review,2006,42(5):191-210
[28]Na Li,Mike Tao Zhang,Shiming Deng,Zu-Hsu Lee,Lawrence Zhang,Li Zheng.Single-station performance evaluation and improvement in semiconductor manufacturing:A graphical approach[J].International Journal of Production Economics,2007,107(6):397-403
[29]John G.H.Carlson,Andrew C.Yao.Simulating an agile,synchronized manufacturing system[J].International Journal of Production Economics,2007,108(7):1-9
[30]Ramadge P J,Wonham W M.Supervisor control of a class of discrete event processes[J].SIAM J Control and Optimization,1987,25(1):39-50.
[31]Ostroff J S,Wonham W M.A framework for real-time discrete event control[J].IEEE Trans Automat Contr,1990,35(4):386-397.
[32]Ozveren C M et al.Stability and stabilizability of discrete event dynamical systems [J].Journal of ACM,1991,38:10-19.
[33]Kummar R et al.On supervisory control of sequential behaviors[J].IEEE Trans Automat Contr,1992,37(12):1978-1985.
[34]Kumar R,Shayman M.Nonblocking supervisory control of nondeterministic systems via prioritized synchronization[J].IEEE Trans Automat Contr,1992,37(12):1921-1935.
[35]Chung S,Lafortune S,Lin F.Limited lookahead policies in supervisory control of discrete event systems[J].IEEE Trans Automat Contr,1992,37(12):1921-1935.
[36]Brave Y,Heymann M.Control of discrete event systems modeled as hierarchical state machines[J].IEEE Trans Automat Contr.1993,18(12):1803-1819.
[37]毓松桂,谭民.非串行生产线的建模、分析及设计[J].控制与决策,1994,9(6):451-454
[38]Passino K M.Lyapunov stability of a class of discrete event systems[J].IEEE Trans Automat Contr,1994,39(2):269-279.
[39]Brandia B A,Wonham W M.Supervisory control of timed discrete-event systems[J].IEEE Trans Automat Contr,1994,39(2):329-341.
[40]Kumar R,Garg V K.Optimal control of discrete event dynamical systems[J].SIAM J Control and Optimization,1995,33(2):419-439.
[41]Charbonnier F,Alla H and David R.The supervised control of discrete event dynamic systems:a new approach[A].Proceedings of the 34th Conference on Decision & Control[C].New Orlean LA Dec,1995:913-920
[42]Lauzon S C,Ma A K L,Mills J K and Benhabib.Application of discrete event system theory to flexible manufacturing[J].IEEE Control System,1996,16(1):41-48.
[43]Cohen G.,Moller,P.,Quadrat J.P.,Viot M.Linear System Theory for Discrete Event Systems[A].Proc.of the 23rd IEEE Conf.on Decision and Control[C],Las Vegas,IEEE,1984:539-544.
[44]Cohen G.,Moller P.,Quadrat J.P.,Viot M.Une Theorie Lineaire des Systemes a Evenements Discrets[J].Inst.Nat.Recherche Inf.Aurora.,Report No.362,Le Chesnay,France,January 1985
[45]Tu Y L,Jiang Z B,Tsang W K,Chart C Y.Production scheduling by max-plus algebra[A].The Proceeding of 1st International Conference on Engineering Design and Automation(EDA'97)[C].Bangkok Thailand,1997
[46]Rob M.P.Goverde.Railway timetable stability analysis using max-plus system theory[J].Transportation Research Part B:Methodological,2007,41(2):179-201
[47]龚光鲁,钱敏平.应用随机过程教程及在算法和智能计算中的随机模型[M].北京:清华大学出版社,2004:86
[48]K.Karen Yin,Hu Liu,Nell E.Johnson.Markovian inventory policy with application to the paper industry[J].Computers & Chemical Engineering,2002,V26(10):1399-1413
[49]Esmail Mohebbi.Supply interruptions in a lost-sales inventory system with random lead time[J].Computers & Operations Research,2003,30(3):411-426
[50]Lifei Cheng,Marco A.Duran.Logistics for world-wide crude oil transportation using discrete event simulation and optimal control[J].Computers & Chemical Engineering,2004,28(6-7):897-911
[51]Boualem Rabta,Djamil Aissani.Strong stability in an(R,s,S)inventory model[J].International Journal of Production Economics,2005,97(2):159-171
[52]Christina Nielsen,Christian Larsen.An analytical study of the Q(s,S)policy applied to the joint replenishment problem[J].European Journal of Operational Research,2005,V163(3):721-732
[53]Philip A.Horvath,Chad W.Autry,William E.Wilcox.Liquidity implications of reverse logistics for retailers:A Markov chain approach[J].Journal of Retailing,2005,81(3):191-203.
[54]Esmail Mohebbi,Daipeng Hao.When supplier's availability affects the replenishment lead time—An extension of the supply-interruption problem[J].European Journal of Operational Research,2006,175(2):992-1008.
[55]Laila Haerian,Tito Homem-de-Mello,Clark A.Mount-Campbell.Modeling revenue yield of reservation systems that use nested capacity protection strategies[J].International Journal of Production Economics,2006,104(2):340-353.
[56]Esmail Mohebbi.A production-inventory model with randomly changing environmental conditions[J].European Journal of Operational Research,2006,174(1):539-552.
[57]Yumei Hou,Suresh P.Sethi,Hanqin Zhang,Qing Zhang.Asymptotically optimal production policies in dynamic stochastic jobshops with limited buffers[J].Journal of Mathematical Analysis and Applications,2006,317(2):398-428
[58]K.P.Sapna Isotupa.An(s,Q)Markovian inventory system with lost sales and two demand classes[J].Mathematical and Computer Modelling,2006, 43(7-8): 687-694
[59] Rui Yin , Kumar Rajaram .Joint pricing and inventory control with a Markovian demand model[J].European Journal of Operational Research,2007,182(10): 113-126
[60] Boray Huang, Seyed M. R. Iravani. Optimal production and rationing decisions in supply chains with information sharing[J].Operations Research Letters,2007,35(9):669-676
[61] Xiaobo Zhao, Minmin Qiu. Information Sharing in a Multi-Echelon Inventory System[J]. Tsinghua Science & TechnoIogy,2007,12(8):466-474
[62] Robert N. Boute, Stephen M. Disney, Marc R. Lambrecht, Benny Van Houdt. An integrated production and inventory model to dampen upstream demand variability in the supply chain[J]. European Journal of Operational Research,2007, 178(4): 121-142
[63] Hisashi Kurata, John J. Liu. Optimal promotion planning—depth and frequency—for a two-stage supply chain under Markov switching demand[J], European Journal of Operational Research,2007,177(2): 1026-1043
[64] Zhao Xiaobo, Deju Xu, Hanqin Zhang, Qi-Ming He. Modeling and analysis of a supply-assembly-store chain[J]. European Journal of Operational Research,2007,176(1): 275-294
[65] Y. C. Ho .Perturbation analysis methods for discrete event dynamical systems and simulations[A]. Winter Simulation Conference, proceedings of the 16th conference on Winter simulation [C].Dallas, 1984:170-173
[66] Liu R H ,Tu F S. The modeling and infinitesimal perturbation analysis of a class of fork-joint manufacturing systems[A]. Proceedings of International Conference on Data and Knowledge Systems for Manufacturing and Engineering[C].1994,V2:566-571
[67] Uryasev S. Analytical perturbation analysis of discrete event dynamic systems[A]. Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology[C]. 1994:347-402
[68] Bongaerts L, Van B H, Valckenaers P. Schedule execution using perturbation analysis[A]. Proceeding of IEEE International Conference on Robotics and Automation[C].Leuven Belgium. 1998,V3:2747-2752
[69] Haar Stefan.Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets[A].10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, Illinois, USA[A]. IEEE Press, 2003:114-123.
[70] Berthelot G., Petrucci L. Putting Algebraic Nets into Practice[J],Internal Report CEDRIC-IIE. Evry, France: Conservatoire National des Arts et Metiers. 1989.
[71] E. Kindler, W. Resig. Algebraic system nets for modeling distributed algorithms[J]. Petri Net Newsletter, 1996,51:16-31
[72] Cohen G., Gaubert S., Quadrat J.P. Timed event graphs with multipliers and homogeneous min-plus systems[J]. IEEE Trans, on Automatic Control, 1998, 43( 9): 1296-1302.
[73] Brat G.P., Garg V.K. A max-plus algebra of signals for the supervisory control of real-time discrete event systems[A]. 9th IFAC Symp. on Information Control in Manufacturing (INCOM'98), 24-26 June 1998, Nancy-Metz, France[C].1998, 2: 9-14.
[74] T.Basten .In Terms of Nets: System Design with Petri Nets and Process Algebra[D]. Eindhoven, The Netherlands: Eindhoven University of Technology, 1998.
[75] E. Kindler, H. Volzer. Flexibility in algebraic nets[J]. In Desel and Silva[DS98], 1998:345-384.
[76]Takai S.,Ito Y.Supervisory control of timed event graphs with partial specifications[J].International Journal of System Sciences,1999,30(11):187-192.
[77]Wagneur E.,Demongodin I.On the rational use of Petri nets,automata and the max algebra for the optimal control of DEDS[A].8th Int.Workshop on Petri Net and Performance Models(PNPM'99),8-10 October 1999,Zaragoza,Spain[C].1999:179-186.
[78]Claude Girault,Rudiger Valk.系统工程Petri网-建摸、验证与应用指南[M].王生原等译.北京:电子工业出版社,2005:33-34.
[79]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:1
[80]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:6
[81]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:39.
[82]K.Jensen.Colored Petri nets and the invariant-method[J].Theoretical Computer Science,1981,14:317-336
[83]Alan A.Desroches,Robert Y.AI-Jaar.Applications of Petri Nets in Manufacturing Systems-Modeling,Control,and Performance Analysis[M].New York:IEEE Press,1995:62-79
[84]袁崇义.Petri网原理[M].北京:电子工业出版社,1998.
[85]蒋昌俊.Petri网的行为理论及其应用[M].北京:高等教育出版社,2003.
[86]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006.
[87]M.Jantzen,R.Valk.Formal properties of place/transition nets[J].Net Theory and Applications,1980,volume 84 of Lecture Notes in Computer Science:165-212.Springer-Verlag.
[88]H.J.Genrich,K.Lautenbach.System modeling with high-level Petri nets[J].Theoretical Computer Science,1981,13:109-136
[89]K.Jensen.Colored Petri nets and the invariant-method[J].Theoretical Computer Science,1981,14:317-336
[90]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volumel:Basic Concepts[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1992.2nd edition 1996:70
[91]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volume 2:Analysis Methods[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1994.
[92]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volume 3:Pratical Use[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1997.
[93]Wang L.C.,Wu S.Y.Modeling with colored timed object-oriented Petri nets for automated manufacturing systems[J].Computers and Industrial Engineering,1998,34(2):463-480.1998.
[94]Machado R.J.,Fernandes J.M.,Proenca A.J.An object-oriented model for rapid prototyping of data path/control systems-a case study[A].Proc.9th IFAC Symp.on Information Control in Manufacturing(1NCOM'98)[C].Nancy-Metz,France.1998,V 2:269-274.
[95]Di Marzo Serugendo G.,Guelfi N.Using object-oriented algebraic nets for the reverse engineering of Java programs:a case study[A].Proc.1998 Int.Conf.on Application of Concurrency to System Design(CSD'98)[C].Fukushima,Japan.1998:166-176.URL: http://cui.unige.ch/~dimarzo/papers/csd98.pdf.
[96] Adamou M., Zerhouni S.N., Bourjault A. Hierarchical modeling and control of flexible assembly systems using object-oriented Petri nets[J]. International Journal of Computer Integrated Manufacturing, 1998,11(1): 18-33.
[97] Li X., Xu X., Rosano F.L. Modeling manufacturing systems using object-oriented colored Petri nets[J]. International Journal of Intelligent Control Systems, 1999,Vol. 3(3):359-375.. [98] Mikolajczak B.,Ottlik A. Specification of distributed systems with actors using object-oriented Petri nets[A]. Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000)[C]. Nashville, TN . 2000, Vol. 4: 3134-3140.
[99] Merlin P.M. A Study of the Recoverability of Computing Systems[D]. California: University Microfilms, 1974. Irvine: Univ. California, Depart, of Information and Computer Science, TR 58, 1974.
[100] Merlin P.M. A Methodology for the Design and Implementation of Communication Protocols[J]. Yorktown Heights, New York: IBM T. J. Watson Research Center, June 1975. Also in: IEEE Transactions on Communications, 1976,Vol. COM-24(6): 614-621.
[101] Zurawski R. Modeling Distributed Real-Time Systems for Performance Evaluation Using Timed Petri Nets[A]. Proceedings of the Conference on Computing Systems and Information Technology[C]. Sydney, NSW, Australia: Barton, ACT. 1989: 60-63.
[102] Zuberek W.M. Modified M-timed Petri nets in modeling and performance evaluation of systems[A]. Proc. ACM 15th Annual Computer Science Conference (CSC'87)[C]. St. Louis, MO: 1987:261-268.
[103] Zuberek W.M. On Extended Timed Petri Nets, Timeouts and Modeling of Protocols[J]. Petri Newsletter. Bonn, Germany: Gesellschaft fur Informatik (GI), Special Interest Group on Petri Nets and Related System Models, 1985,(19): 19-27.
[104] Starke ,Peter H. Remarks on Timed Nets[J]. Petri Net Newsletter. Bonn, Germany: Gesellschaft fur Informatik (GI), Special Interest Group on Petri Nets and Related System Models, 1987,(27):37-47.
[105] Molloy M K. Fast bounds for stochastic Petri Nets[J]. Workshop on Timed Petri Nets,Torino,Itally,1985.
[106] Molly M K.Structurally bounded stochastic Petri Nets[J]. Workshop on Petri Nets and Performance Models, Wisconsin,USA,1987.
[107] Zuberek W.M.Throughput analysis in timed colored Petri nets[A]. Proc. IEEE Int. Symposium on Circuits and Systems (ISCAS'93)[C].Chicago, IL: 1993: 2721-2724.
[108] Haas P.J., Shedler G.S. Modeling Power of Stochastic Petri Nets for Simulation[J]. Probability in the Engineering and Informational Sciences, 1988:435-459.
[109] Haas P.J., Shedler G.S. Markovian Stochastic Petri Nets[J]. IBM Research Report RJ 6764, 1989:1-24. IBM Almaden Research Center, San Jose, CA.
[110] Tarasyuk Igor V. Stochastic Petri box calculus with discrete time[J]. Fundamental Informaticae,2007,76( 1 -2): 189-218. February.
[111] Chiola G.,Marsan M. A., Balbo G., Conte G. Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications[J]. IEEE Transactions on Software Engineering, 1993, 19(2): 89-107. IEEE Press.
[112]Descotes-Genon B.,Hereon F.,Mercier des Rochettes R.ISATIS:An Editor-Simulator of Manufacturing Systems Using Timed Coloured Petri Nets[A].WG 5 7 Working Conference,1989,Barcelona,Spain:Databases for Production Management.Proceedings of the IFIP TC5[C].ENSIEG,St Martin d'Heres,F.ASTEC,Grenoble,1989:333-348.
[113]Walter C.Integrating Simulation and AI into a Production Scheduling System[A].Knowledge Based Production Management Systems.Proceedings of the IFIP WG 5.7 Working Conference[C],1988,Galway,Ireland.Amsterdam,Netherlands,North-Holland,1989:95-103.
[114]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005.
[115]B.Best,B.Grahlman.PEP-more than a Petri net tool[A].Tools and Algorithms for the Construction and Analysis of Systems,Proceeding of the 2nd International Workshop,TACAS'96,Passau,Germany[C].Lecture Notes in Computer Science,Springer-Verlag,1996,Vol 1055:397-401.
[116]赵林度.供应链与物流管理:理论与实务[M].北京:机械工业出版社,2003:303-341.
[117]Viswanadham N,Raghavan N.R.S.Performance Analysis and Design of Supply Chains:a Petri Net Approach[J].Journal of Operations Research Society,2000,51(10):1158-1169.
[118]Dong,Ming.Process modeling,performance analysis and configuration simulation in integrated supply chain network design.[D].Virginia Polytechnic Institute and State University,2001.
[119]赵千川,郑大钟.一类具有约束的赋时Petri网的鲁棒性研究[J].自动化学报,2000,26(6):803-806.
[120]Elmahi,Ilham.A Max Plus Algebra Approach For Modeling and Control a Supply Chain[A].Proceedings of 2003 IEEE Conference on Control Applications Jun 23-25 2003 Istanbul,Turkey[C].2003,2:1425-1430.
[121]Al-Jaar Robert Y,Desrochers Alan A.Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets[J].IEEE Transactions on Robotics and Automation,1990,6(6):621-639.
[122]Chen Haoxun,Amodeo Lionel,Chu Feng.Modeling and Performance Evaluation of Supply Chain with Batch Deterministic and Stochastic Petri Nets[A].Proceeding of the 13th European Simulation Symposium ESS'2001[C].France,Marseille:2001:415-419
[123]韩赞东,张勇智.大批量制造系统生产能力和设备利用率分析[J].清华大学学报(自然科学版),2005,44(2):145-148.
[124]Labadi Karim,Chen Haoxun,Amodeo Lionel.Batch deterministic and stochastic Petri nets modeling,analysis and its application to supply chain[A].Conference Proceedings-IEEE International Conference on Systems,Man and Cybernetics,v 5,2004 IEEE International Conference on Systems,Man and Cybernetics,SMC 2004[C].Institute of Electrical and Electronics Engineers Inc,2004:4515-4520.
[125]崔政东,刘晋.基于广义随机Petrj网的供应链建模与分析[J].系统工程理论与实践,2005,(12):18-24.
[126]谢楠.基于Petri网的可重组制造系统建模、调度及控制方法研究[D].同济大学,2006.
[127]谢楠,李爱萍,徐立云.基于广义随机Petri网的可重组制造单元建模与分析方法[J].计算机集成制造系统,2006,12(6):828-834.
[128]杨天剑,吕廷杰.基于广义随机Petri网的供应链订货提前期建模[J].北京邮电大学学报,2007,30(3):40-44.
[129]郭玉彬,刘冰,李西明.流水线调度的Petri网分析[J].山东科技大学学报(自然科学版),2001,20(2):60-63,83.
[130]张蕾,王运峰,王宾.CIMS环境下基于Petri网的物流系统模型MSPN[J].物流技术,2001,106(1):15.
[131]Will van de Aalst,Kees van Hee.WorkFlow Management-Models,Methods,and System[M].Massachusetts:The MIT Press,2002.
[132]张新龙.基于时间Petri网的流程建模及性能分析[D].北京:北京航空航天大学,2003,(6).
[133]Wu Xiao-Qiang.An Intelligent Petri Nets Model Based on Competitive Neural Network[A].Weiming Shen,Zongkai Lin,Jean-Paul A.Barthes,Yangqiu Li.Lecture Notes in Computer Science:Computer Supported Cooperative Work in Design:8th International Conference,CSCWD 2004,Xiamen,China,2004,May 26-28[C].Berlin:Springer,2005:388-397.
[134]Roongrat Seeluangsawat,Erik L.J.Bohez.Integration of JIT flexible manufacturing,assembly and disassembly system using Petri net approach[J].Journal of Manufacturing Technology Management,2004,15:700-714.
[135]Lahaye,S.Boimond,J.-L.Hardouin,L.Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using(Min,+)Algebra[J].Discrete Event Dynamic Systems.2006,16(2):241-256.
[136]李滨虎.流程工业生产调度仿真方法研究[D].山东大学,2006.
[137]Latif Salum.Petri nets and time modeling[J].The International Journal of Advanced Manufacturing Technology,2007,(6),London:Springer.
[138]Claude Girault,Rudiger Valk.系统工程Petri网-建模、验证与应用指南[M].王生原等译.北京:电子工业出版社,2005:33-34.
[139]Lee Y.K.,Park S.J.OPNets:An object-oriented high-level Petri net model for real-time system modeling[J].Journal of System Software,1993,20:69-86.
[140]Briand,C.,Esteban P.An object-oriented and Petri net based approach for real time control of FMSs[A].Emerging Technologies and Factory Automation,1995.ETFA '95,Proceedings.,1995 INRIA/IEEE Symposium[C].1995,1:115-123.
[141]Wang L.C.The development of an object-oriented Petri net cell control model[J].The International Journal of Advanced Manufacturing Technology,1996,11(1/):59-69.
[142]Wang L.C.Objected-oriented Petri Nets for modeling and analysis of automated manufacturing systems[J].Computer Integrated Manufacturing Systems,1996,26(2):111-125.
[143]Wang L.C.An integrated object-oriented Petri Net paradigm for manufacturing control systems[J].International Journal of Computer Integrated Manufacturing,1996,9(1):73-87.
[144]吴耀华.物流系统的建模及其计算机辅助设计[D].北京:清华大学,1996.
[145]Xiaoou Li,Lara-Rosano F.Modeling an electronic component manufacturing system using Object Oriented Colored Petri Nets[A].Electronics,Circuits and Systems,1999.Proceedings oflCECS '99.The 6th IEEE International Conference[C].1999,3:1721-1724.
[146]Gambin A.J.,Piera M.A.,Riera D.A Petri nets based object oriented tool for the scheduling of stochastic flexible manufacturing systems[A].Emerging Technologies and Factory Automation,1999.Proceedings.ETFA '99.1999 7th IEEE International Conference[C],1999,2:1091-1098.
[147]李霄峰,徐立云,邵惠鹤,任德祥.基于Petri网/COM的物流系统建模仿真技术[J].信息与控制,2001,30(3):284-288.
[148]Ming Dong,F.Frank Chen.Process modeling and analysis of manufacturing supply chain networks using object-oriented Petri nets[J].Robotics and Computer-Integrated Manufacturing,2001:17,(1-2):121-129.
[149]Hailin Zhang F.A.,Zhibin Jiang S.B.Modeling and Analysis of Container Terminal Logistics System by Extended Generalized Stochastic Petri Nets[A].Service Operations and Logistics,and Informatics,2006.SOLI'06.IEEE International Conference[C].2006:310-315.
[150]刘韬,傅卫平,王雯,李德信,谢敬.基于面向对象赋时Petri网的出入库系统建模[J].系统仿真学报,2006,18(3):537-541.
[151]H.P.Wang,L.Zeng,S.Jin.Determination of the number of kanbans in JIT systems:A Petri-net approach[J].The International Journal of Advanced Manufacturing Technology,1992,7(1):51-57.
[152]Song A.H.,Ootsuki J.T.,Yoo W.K.,Fujii Y.,Sekiguchi T.FMS's scheduling by colored Petri net model and Hopfield neural network algorithm[A].SICE '95.Proceedings of the 34th SICE Annual Conference.International Session Papers[C],1995:1285-1290.
[153]Van Landeghem,Rik.Bobeanu,Carmen-Veronica.Formal Modeling of Supply Chain:An Incremental Approach using Petri Nets[A].Verbraeck,A.and Krug,W.(Eds.):Proceedings of the 14th European Simulation Symposium,ESS'2002[C].323-327.
[154]Fanti M.P.,Giua A.,Seatzu C.A deadlock prevention method for railway networks using monitors for colored Petri nets[A].Systems,Man and Cybernetics,2003.IEEE International Conference on[C].2003,2:1866-1873.
[155]Kristensen,Lars Michael;J(?)rgensen,Jens B(?)k;Jensen Kurt.Application of Coloured Petri Nets in System Development[J].Lectures on Concurrency and Petri Nets:Advances in Petri Nets.Lecture Notes in Computer Science,Springer-Verlag,2004.2004,3098:626-685.
[156]郭雪松,孙林岩,徐晟.一类基于随机着色Petri网的多级供应链可靠性研究.运筹与管理,2006,15(6):66-70.
[157]郭雪松,孙林岩,徐晟.基于着色Petri网的供应链链路死锁问题研究[J].管理科学,2006,19(5):2-8.
[158]Lianfeng Zhang;Xiao You;Jianxin Jiao;Petri Helo.Modeling Supply Chain Configuration Based on Colored Petri Nets[A].Control,Automation,Robotics and Vision,2006.ICARCV apos;06.9th International Conference[C].2006,(5-8):1-6.
[159]Aized Tauseef,Yakahashi Koji,Hagiwara Ichiro.Modeling and Optimization of multiple product FMS using Colored Petri Net and Design of Experiment[A].Networking,Sensing and Control,2007 IEEE International Conference on[C].2007:334-339.
[160]Hanafi Jessica,Kara Sami,Kaebernick Hartmut.Generating Fuzzy Coloured Petri Net Forecasting Model to Predict the Return of Products[A].Electronics & the Environment,Proceedings of the 2007 IEEE International Symposium[C].2007:245-250.
[161]Behera T.K,Mishra B.S.,Patnaik L.M.,Girault C.Modelling and performance evaluation of flexible manufacturing systems using deterministic and stochastic timed Petri nets[A]..Proceedings of the 4th International Conference on Factory 2000-Advanced Factory Automation,Oct 3-5 1994,York,UK.IEE Conference Publication[C],1994,398:362-368.
[162]Bullinger H.-J.,von Steinaecker Jorg,Weller A.Concepts and Methods for a Production Integrated Environmental Protection[J].International Journal of Production Economics,1999,60-61(3):35-42.
[163]陈胜,程景云.基于Petri网的工作流建模及仿真[J].计算机辅助工程,2000,(3):8-15.
[164]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:48.
[165]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:48-49.
[166]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:54.
[167]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:79.
[168]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:17.
[169]Zuberk W M.Performance evaluation using unbound timed Petri nets[A].Proc.of the 3~(rd)International Workshop on Petri Nets and Performance Model s,Kyoto,Japan[C],1989:180-186.
[170]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:23.
[171]Dugan J B,Trivedi K S,Geist R M,Nicola V F.Extended stochastic Petri nets:Application and analysis[A].PERFORMANCE'84,Mders of Comput.System Peroformance,In Paris,Gelenbe E(editor).Proc.10~(th)Int.Sump.,Amsterdam:Elsevier[C].,1984:507-519.
[172]林闯,随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:24.
[173]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:98.
[174]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:99.
[175]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:100.
[176]范玉顺.工作流管理技术基础[M].北京:清华大学出版社,2001:140-144.
[177]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:294
[178]Sheldon M.Ross.应用随机过程概率模型导论Introduction to Probability Models(英)[M].影印版,第8版.北京:人民邮电出版社,2006:36-37.
[179][美]A.帕普里斯,S.U.佩莱.保铮,冯大政,水鹏朗译.概率、随机变量与随机过程[M].第4版.西安:西安交通大学出版社,2004:115-120.
[180]Emilia Villani,Jean C.Pascal,Paulo E.Miyagi,Robert Valette.A Petri net-based object-oriented approach for the modelling of hybrid productive systems[J].Nonlinear Analysis,2005,62(8):1394-1418.
[181]吴喜之.统计学:从数据到结论[M].第2版,北京:中国统计出版社,2006:249-287.
[182]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volumel:Basic Concepts[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1992.2nd edition 1996:75-81.
[183]Sunil Chopra,Peter Meindl.Supply Chain Management:Strategy,Planning and Operation[M].Prentice Hall.Inc.,2001:33.
[2]陈剑,蔡连桥.供应链建模与优化[J].系统工程理论与实践,2001,6(1)26-23
[3]Petri C.A.Communnication With Automata[M].New York:Griffiss Air Force Base.Tech.Rep.1966,1(1)
[4]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:1
[5]张晓萍,颜永年,吴耀华,荆明.现代生产物流及仿真[M].北京:清华大学出版社.1998:180-181
[6]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:19
[7]张文杰.北京奥运物流系统规划[M].北京:中国物资出版社,2007:166-210
[8]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:17-18.
[9]顾启泰.离散事件系统建模与仿真[M].北京:清华大学出版社,1999:1
[10]张晓萍,颜永年,吴耀华,荆明.现代生产物流及仿真[M].北京:清华大学出版社.1998:182
[11]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:51.
[12]Solberg J J.A Mathematical Models of Computerized Manufacturing Systems.Proceeding of the 4~(th)International Conference on Production Research.Tokyo:1977
[13]Christian Larsen.Investigating sensitivity and the impact of information on pricing decisions in an M/M/1/∞ queuing model[J].International Journal of Production Economics,1998,56-57(9):365-377
[14]Roger M.Hill.On the suboptimality of(S-1,S)lost sales inventory policies.International Journal of Production Economics,1999,59(3):387-393
[15]Yoichi Seki and Naoto Hoshino.Transient behavior of a single-stage Kanab system based on the queuing model.International Journal of Production Economics,1999,60-61(4):369-374
[16]Charles S Tapiero.The NBD repeat purchase process and M/G/∞ queues.International Journal of Production Economics,2000,63(1):141-145
[17]A.Haskose,B.G.Kingsman and D.Worthington.Modeling flow and jobbing shops as a queuing network for workload control[J].International Journal of Production Economics,2002,78(8):271-285
[18]Sang,in Choi,S.T.Enns.Multi-product capacity-constrained lot sizing with economic objectives[J].International Journal of Production Economics,2004,91(9):47-62
[19]Peter Kochel.Finite queueing systems-structural investigations and optimal design[J].International Journal of Production Economics,2004,88(3):157-171
[20]吴耀华,王胜力,王常香.排队论在物流规划中的应用[J].物流科技,2004,27(5):53-55.
[21]区伟明,胡奇英.CMIS物流调度系统的建模与仿真[J].计算机集成制造系统,2004,10(9):1067-1072.
[22]Ming Dong,F.Frank Chen.Performance modeling and analysis of integrated logistic chains:An analytic framework[J].European Journal of Operational Research,2005,162(4):83-98
[23]薛永吉,李旭宏,程日盛.基于仿真技术的物流中心站台数确定方法研究[J].物流技术,2005,(6):37-39
[24]崔俊,霍金宁.联合库存在备件物流系统中的应用分析[A].中国企业运筹学学术交流大会论文集2005[C].中国企业运筹学学术交流大会,成都.2005:16-18
[25]M.Kampf,P.Kochel.Simulation-based sequencing and lot size optimization for a production-and-inventory system with multiple items[J].International Journal of Production Economics,2006,104(11):191-200
[26]Shahab Sokhansanj,Amit Kumar,Anthony F.Turhollow.Development and implementation of integrated biomass supply analysis and logistics model(IBSAL)[J].Biomass and Bioenergy,2006,30(10):838-847
[27]Ana Paula Iannoni,Reinaldo Morabito.A discrete simulation analysis of a logistics supply system[J].Transportation Research Part E:Logistics and Transportation Review,2006,42(5):191-210
[28]Na Li,Mike Tao Zhang,Shiming Deng,Zu-Hsu Lee,Lawrence Zhang,Li Zheng.Single-station performance evaluation and improvement in semiconductor manufacturing:A graphical approach[J].International Journal of Production Economics,2007,107(6):397-403
[29]John G.H.Carlson,Andrew C.Yao.Simulating an agile,synchronized manufacturing system[J].International Journal of Production Economics,2007,108(7):1-9
[30]Ramadge P J,Wonham W M.Supervisor control of a class of discrete event processes[J].SIAM J Control and Optimization,1987,25(1):39-50.
[31]Ostroff J S,Wonham W M.A framework for real-time discrete event control[J].IEEE Trans Automat Contr,1990,35(4):386-397.
[32]Ozveren C M et al.Stability and stabilizability of discrete event dynamical systems [J].Journal of ACM,1991,38:10-19.
[33]Kummar R et al.On supervisory control of sequential behaviors[J].IEEE Trans Automat Contr,1992,37(12):1978-1985.
[34]Kumar R,Shayman M.Nonblocking supervisory control of nondeterministic systems via prioritized synchronization[J].IEEE Trans Automat Contr,1992,37(12):1921-1935.
[35]Chung S,Lafortune S,Lin F.Limited lookahead policies in supervisory control of discrete event systems[J].IEEE Trans Automat Contr,1992,37(12):1921-1935.
[36]Brave Y,Heymann M.Control of discrete event systems modeled as hierarchical state machines[J].IEEE Trans Automat Contr.1993,18(12):1803-1819.
[37]毓松桂,谭民.非串行生产线的建模、分析及设计[J].控制与决策,1994,9(6):451-454
[38]Passino K M.Lyapunov stability of a class of discrete event systems[J].IEEE Trans Automat Contr,1994,39(2):269-279.
[39]Brandia B A,Wonham W M.Supervisory control of timed discrete-event systems[J].IEEE Trans Automat Contr,1994,39(2):329-341.
[40]Kumar R,Garg V K.Optimal control of discrete event dynamical systems[J].SIAM J Control and Optimization,1995,33(2):419-439.
[41]Charbonnier F,Alla H and David R.The supervised control of discrete event dynamic systems:a new approach[A].Proceedings of the 34th Conference on Decision & Control[C].New Orlean LA Dec,1995:913-920
[42]Lauzon S C,Ma A K L,Mills J K and Benhabib.Application of discrete event system theory to flexible manufacturing[J].IEEE Control System,1996,16(1):41-48.
[43]Cohen G.,Moller,P.,Quadrat J.P.,Viot M.Linear System Theory for Discrete Event Systems[A].Proc.of the 23rd IEEE Conf.on Decision and Control[C],Las Vegas,IEEE,1984:539-544.
[44]Cohen G.,Moller P.,Quadrat J.P.,Viot M.Une Theorie Lineaire des Systemes a Evenements Discrets[J].Inst.Nat.Recherche Inf.Aurora.,Report No.362,Le Chesnay,France,January 1985
[45]Tu Y L,Jiang Z B,Tsang W K,Chart C Y.Production scheduling by max-plus algebra[A].The Proceeding of 1st International Conference on Engineering Design and Automation(EDA'97)[C].Bangkok Thailand,1997
[46]Rob M.P.Goverde.Railway timetable stability analysis using max-plus system theory[J].Transportation Research Part B:Methodological,2007,41(2):179-201
[47]龚光鲁,钱敏平.应用随机过程教程及在算法和智能计算中的随机模型[M].北京:清华大学出版社,2004:86
[48]K.Karen Yin,Hu Liu,Nell E.Johnson.Markovian inventory policy with application to the paper industry[J].Computers & Chemical Engineering,2002,V26(10):1399-1413
[49]Esmail Mohebbi.Supply interruptions in a lost-sales inventory system with random lead time[J].Computers & Operations Research,2003,30(3):411-426
[50]Lifei Cheng,Marco A.Duran.Logistics for world-wide crude oil transportation using discrete event simulation and optimal control[J].Computers & Chemical Engineering,2004,28(6-7):897-911
[51]Boualem Rabta,Djamil Aissani.Strong stability in an(R,s,S)inventory model[J].International Journal of Production Economics,2005,97(2):159-171
[52]Christina Nielsen,Christian Larsen.An analytical study of the Q(s,S)policy applied to the joint replenishment problem[J].European Journal of Operational Research,2005,V163(3):721-732
[53]Philip A.Horvath,Chad W.Autry,William E.Wilcox.Liquidity implications of reverse logistics for retailers:A Markov chain approach[J].Journal of Retailing,2005,81(3):191-203.
[54]Esmail Mohebbi,Daipeng Hao.When supplier's availability affects the replenishment lead time—An extension of the supply-interruption problem[J].European Journal of Operational Research,2006,175(2):992-1008.
[55]Laila Haerian,Tito Homem-de-Mello,Clark A.Mount-Campbell.Modeling revenue yield of reservation systems that use nested capacity protection strategies[J].International Journal of Production Economics,2006,104(2):340-353.
[56]Esmail Mohebbi.A production-inventory model with randomly changing environmental conditions[J].European Journal of Operational Research,2006,174(1):539-552.
[57]Yumei Hou,Suresh P.Sethi,Hanqin Zhang,Qing Zhang.Asymptotically optimal production policies in dynamic stochastic jobshops with limited buffers[J].Journal of Mathematical Analysis and Applications,2006,317(2):398-428
[58]K.P.Sapna Isotupa.An(s,Q)Markovian inventory system with lost sales and two demand classes[J].Mathematical and Computer Modelling,2006, 43(7-8): 687-694
[59] Rui Yin , Kumar Rajaram .Joint pricing and inventory control with a Markovian demand model[J].European Journal of Operational Research,2007,182(10): 113-126
[60] Boray Huang, Seyed M. R. Iravani. Optimal production and rationing decisions in supply chains with information sharing[J].Operations Research Letters,2007,35(9):669-676
[61] Xiaobo Zhao, Minmin Qiu. Information Sharing in a Multi-Echelon Inventory System[J]. Tsinghua Science & TechnoIogy,2007,12(8):466-474
[62] Robert N. Boute, Stephen M. Disney, Marc R. Lambrecht, Benny Van Houdt. An integrated production and inventory model to dampen upstream demand variability in the supply chain[J]. European Journal of Operational Research,2007, 178(4): 121-142
[63] Hisashi Kurata, John J. Liu. Optimal promotion planning—depth and frequency—for a two-stage supply chain under Markov switching demand[J], European Journal of Operational Research,2007,177(2): 1026-1043
[64] Zhao Xiaobo, Deju Xu, Hanqin Zhang, Qi-Ming He. Modeling and analysis of a supply-assembly-store chain[J]. European Journal of Operational Research,2007,176(1): 275-294
[65] Y. C. Ho .Perturbation analysis methods for discrete event dynamical systems and simulations[A]. Winter Simulation Conference, proceedings of the 16th conference on Winter simulation [C].Dallas, 1984:170-173
[66] Liu R H ,Tu F S. The modeling and infinitesimal perturbation analysis of a class of fork-joint manufacturing systems[A]. Proceedings of International Conference on Data and Knowledge Systems for Manufacturing and Engineering[C].1994,V2:566-571
[67] Uryasev S. Analytical perturbation analysis of discrete event dynamic systems[A]. Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology[C]. 1994:347-402
[68] Bongaerts L, Van B H, Valckenaers P. Schedule execution using perturbation analysis[A]. Proceeding of IEEE International Conference on Robotics and Automation[C].Leuven Belgium. 1998,V3:2747-2752
[69] Haar Stefan.Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets[A].10th International Workshop on Petri Nets and Performance Models (PNPM 2003), Urbana, Illinois, USA[A]. IEEE Press, 2003:114-123.
[70] Berthelot G., Petrucci L. Putting Algebraic Nets into Practice[J],Internal Report CEDRIC-IIE. Evry, France: Conservatoire National des Arts et Metiers. 1989.
[71] E. Kindler, W. Resig. Algebraic system nets for modeling distributed algorithms[J]. Petri Net Newsletter, 1996,51:16-31
[72] Cohen G., Gaubert S., Quadrat J.P. Timed event graphs with multipliers and homogeneous min-plus systems[J]. IEEE Trans, on Automatic Control, 1998, 43( 9): 1296-1302.
[73] Brat G.P., Garg V.K. A max-plus algebra of signals for the supervisory control of real-time discrete event systems[A]. 9th IFAC Symp. on Information Control in Manufacturing (INCOM'98), 24-26 June 1998, Nancy-Metz, France[C].1998, 2: 9-14.
[74] T.Basten .In Terms of Nets: System Design with Petri Nets and Process Algebra[D]. Eindhoven, The Netherlands: Eindhoven University of Technology, 1998.
[75] E. Kindler, H. Volzer. Flexibility in algebraic nets[J]. In Desel and Silva[DS98], 1998:345-384.
[76]Takai S.,Ito Y.Supervisory control of timed event graphs with partial specifications[J].International Journal of System Sciences,1999,30(11):187-192.
[77]Wagneur E.,Demongodin I.On the rational use of Petri nets,automata and the max algebra for the optimal control of DEDS[A].8th Int.Workshop on Petri Net and Performance Models(PNPM'99),8-10 October 1999,Zaragoza,Spain[C].1999:179-186.
[78]Claude Girault,Rudiger Valk.系统工程Petri网-建摸、验证与应用指南[M].王生原等译.北京:电子工业出版社,2005:33-34.
[79]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:1
[80]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:6
[81]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:39.
[82]K.Jensen.Colored Petri nets and the invariant-method[J].Theoretical Computer Science,1981,14:317-336
[83]Alan A.Desroches,Robert Y.AI-Jaar.Applications of Petri Nets in Manufacturing Systems-Modeling,Control,and Performance Analysis[M].New York:IEEE Press,1995:62-79
[84]袁崇义.Petri网原理[M].北京:电子工业出版社,1998.
[85]蒋昌俊.Petri网的行为理论及其应用[M].北京:高等教育出版社,2003.
[86]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006.
[87]M.Jantzen,R.Valk.Formal properties of place/transition nets[J].Net Theory and Applications,1980,volume 84 of Lecture Notes in Computer Science:165-212.Springer-Verlag.
[88]H.J.Genrich,K.Lautenbach.System modeling with high-level Petri nets[J].Theoretical Computer Science,1981,13:109-136
[89]K.Jensen.Colored Petri nets and the invariant-method[J].Theoretical Computer Science,1981,14:317-336
[90]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volumel:Basic Concepts[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1992.2nd edition 1996:70
[91]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volume 2:Analysis Methods[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1994.
[92]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volume 3:Pratical Use[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1997.
[93]Wang L.C.,Wu S.Y.Modeling with colored timed object-oriented Petri nets for automated manufacturing systems[J].Computers and Industrial Engineering,1998,34(2):463-480.1998.
[94]Machado R.J.,Fernandes J.M.,Proenca A.J.An object-oriented model for rapid prototyping of data path/control systems-a case study[A].Proc.9th IFAC Symp.on Information Control in Manufacturing(1NCOM'98)[C].Nancy-Metz,France.1998,V 2:269-274.
[95]Di Marzo Serugendo G.,Guelfi N.Using object-oriented algebraic nets for the reverse engineering of Java programs:a case study[A].Proc.1998 Int.Conf.on Application of Concurrency to System Design(CSD'98)[C].Fukushima,Japan.1998:166-176.URL: http://cui.unige.ch/~dimarzo/papers/csd98.pdf.
[96] Adamou M., Zerhouni S.N., Bourjault A. Hierarchical modeling and control of flexible assembly systems using object-oriented Petri nets[J]. International Journal of Computer Integrated Manufacturing, 1998,11(1): 18-33.
[97] Li X., Xu X., Rosano F.L. Modeling manufacturing systems using object-oriented colored Petri nets[J]. International Journal of Intelligent Control Systems, 1999,Vol. 3(3):359-375.. [98] Mikolajczak B.,Ottlik A. Specification of distributed systems with actors using object-oriented Petri nets[A]. Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000)[C]. Nashville, TN . 2000, Vol. 4: 3134-3140.
[99] Merlin P.M. A Study of the Recoverability of Computing Systems[D]. California: University Microfilms, 1974. Irvine: Univ. California, Depart, of Information and Computer Science, TR 58, 1974.
[100] Merlin P.M. A Methodology for the Design and Implementation of Communication Protocols[J]. Yorktown Heights, New York: IBM T. J. Watson Research Center, June 1975. Also in: IEEE Transactions on Communications, 1976,Vol. COM-24(6): 614-621.
[101] Zurawski R. Modeling Distributed Real-Time Systems for Performance Evaluation Using Timed Petri Nets[A]. Proceedings of the Conference on Computing Systems and Information Technology[C]. Sydney, NSW, Australia: Barton, ACT. 1989: 60-63.
[102] Zuberek W.M. Modified M-timed Petri nets in modeling and performance evaluation of systems[A]. Proc. ACM 15th Annual Computer Science Conference (CSC'87)[C]. St. Louis, MO: 1987:261-268.
[103] Zuberek W.M. On Extended Timed Petri Nets, Timeouts and Modeling of Protocols[J]. Petri Newsletter. Bonn, Germany: Gesellschaft fur Informatik (GI), Special Interest Group on Petri Nets and Related System Models, 1985,(19): 19-27.
[104] Starke ,Peter H. Remarks on Timed Nets[J]. Petri Net Newsletter. Bonn, Germany: Gesellschaft fur Informatik (GI), Special Interest Group on Petri Nets and Related System Models, 1987,(27):37-47.
[105] Molloy M K. Fast bounds for stochastic Petri Nets[J]. Workshop on Timed Petri Nets,Torino,Itally,1985.
[106] Molly M K.Structurally bounded stochastic Petri Nets[J]. Workshop on Petri Nets and Performance Models, Wisconsin,USA,1987.
[107] Zuberek W.M.Throughput analysis in timed colored Petri nets[A]. Proc. IEEE Int. Symposium on Circuits and Systems (ISCAS'93)[C].Chicago, IL: 1993: 2721-2724.
[108] Haas P.J., Shedler G.S. Modeling Power of Stochastic Petri Nets for Simulation[J]. Probability in the Engineering and Informational Sciences, 1988:435-459.
[109] Haas P.J., Shedler G.S. Markovian Stochastic Petri Nets[J]. IBM Research Report RJ 6764, 1989:1-24. IBM Almaden Research Center, San Jose, CA.
[110] Tarasyuk Igor V. Stochastic Petri box calculus with discrete time[J]. Fundamental Informaticae,2007,76( 1 -2): 189-218. February.
[111] Chiola G.,Marsan M. A., Balbo G., Conte G. Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications[J]. IEEE Transactions on Software Engineering, 1993, 19(2): 89-107. IEEE Press.
[112]Descotes-Genon B.,Hereon F.,Mercier des Rochettes R.ISATIS:An Editor-Simulator of Manufacturing Systems Using Timed Coloured Petri Nets[A].WG 5 7 Working Conference,1989,Barcelona,Spain:Databases for Production Management.Proceedings of the IFIP TC5[C].ENSIEG,St Martin d'Heres,F.ASTEC,Grenoble,1989:333-348.
[113]Walter C.Integrating Simulation and AI into a Production Scheduling System[A].Knowledge Based Production Management Systems.Proceedings of the IFIP WG 5.7 Working Conference[C],1988,Galway,Ireland.Amsterdam,Netherlands,North-Holland,1989:95-103.
[114]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005.
[115]B.Best,B.Grahlman.PEP-more than a Petri net tool[A].Tools and Algorithms for the Construction and Analysis of Systems,Proceeding of the 2nd International Workshop,TACAS'96,Passau,Germany[C].Lecture Notes in Computer Science,Springer-Verlag,1996,Vol 1055:397-401.
[116]赵林度.供应链与物流管理:理论与实务[M].北京:机械工业出版社,2003:303-341.
[117]Viswanadham N,Raghavan N.R.S.Performance Analysis and Design of Supply Chains:a Petri Net Approach[J].Journal of Operations Research Society,2000,51(10):1158-1169.
[118]Dong,Ming.Process modeling,performance analysis and configuration simulation in integrated supply chain network design.[D].Virginia Polytechnic Institute and State University,2001.
[119]赵千川,郑大钟.一类具有约束的赋时Petri网的鲁棒性研究[J].自动化学报,2000,26(6):803-806.
[120]Elmahi,Ilham.A Max Plus Algebra Approach For Modeling and Control a Supply Chain[A].Proceedings of 2003 IEEE Conference on Control Applications Jun 23-25 2003 Istanbul,Turkey[C].2003,2:1425-1430.
[121]Al-Jaar Robert Y,Desrochers Alan A.Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets[J].IEEE Transactions on Robotics and Automation,1990,6(6):621-639.
[122]Chen Haoxun,Amodeo Lionel,Chu Feng.Modeling and Performance Evaluation of Supply Chain with Batch Deterministic and Stochastic Petri Nets[A].Proceeding of the 13th European Simulation Symposium ESS'2001[C].France,Marseille:2001:415-419
[123]韩赞东,张勇智.大批量制造系统生产能力和设备利用率分析[J].清华大学学报(自然科学版),2005,44(2):145-148.
[124]Labadi Karim,Chen Haoxun,Amodeo Lionel.Batch deterministic and stochastic Petri nets modeling,analysis and its application to supply chain[A].Conference Proceedings-IEEE International Conference on Systems,Man and Cybernetics,v 5,2004 IEEE International Conference on Systems,Man and Cybernetics,SMC 2004[C].Institute of Electrical and Electronics Engineers Inc,2004:4515-4520.
[125]崔政东,刘晋.基于广义随机Petrj网的供应链建模与分析[J].系统工程理论与实践,2005,(12):18-24.
[126]谢楠.基于Petri网的可重组制造系统建模、调度及控制方法研究[D].同济大学,2006.
[127]谢楠,李爱萍,徐立云.基于广义随机Petri网的可重组制造单元建模与分析方法[J].计算机集成制造系统,2006,12(6):828-834.
[128]杨天剑,吕廷杰.基于广义随机Petri网的供应链订货提前期建模[J].北京邮电大学学报,2007,30(3):40-44.
[129]郭玉彬,刘冰,李西明.流水线调度的Petri网分析[J].山东科技大学学报(自然科学版),2001,20(2):60-63,83.
[130]张蕾,王运峰,王宾.CIMS环境下基于Petri网的物流系统模型MSPN[J].物流技术,2001,106(1):15.
[131]Will van de Aalst,Kees van Hee.WorkFlow Management-Models,Methods,and System[M].Massachusetts:The MIT Press,2002.
[132]张新龙.基于时间Petri网的流程建模及性能分析[D].北京:北京航空航天大学,2003,(6).
[133]Wu Xiao-Qiang.An Intelligent Petri Nets Model Based on Competitive Neural Network[A].Weiming Shen,Zongkai Lin,Jean-Paul A.Barthes,Yangqiu Li.Lecture Notes in Computer Science:Computer Supported Cooperative Work in Design:8th International Conference,CSCWD 2004,Xiamen,China,2004,May 26-28[C].Berlin:Springer,2005:388-397.
[134]Roongrat Seeluangsawat,Erik L.J.Bohez.Integration of JIT flexible manufacturing,assembly and disassembly system using Petri net approach[J].Journal of Manufacturing Technology Management,2004,15:700-714.
[135]Lahaye,S.Boimond,J.-L.Hardouin,L.Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using(Min,+)Algebra[J].Discrete Event Dynamic Systems.2006,16(2):241-256.
[136]李滨虎.流程工业生产调度仿真方法研究[D].山东大学,2006.
[137]Latif Salum.Petri nets and time modeling[J].The International Journal of Advanced Manufacturing Technology,2007,(6),London:Springer.
[138]Claude Girault,Rudiger Valk.系统工程Petri网-建模、验证与应用指南[M].王生原等译.北京:电子工业出版社,2005:33-34.
[139]Lee Y.K.,Park S.J.OPNets:An object-oriented high-level Petri net model for real-time system modeling[J].Journal of System Software,1993,20:69-86.
[140]Briand,C.,Esteban P.An object-oriented and Petri net based approach for real time control of FMSs[A].Emerging Technologies and Factory Automation,1995.ETFA '95,Proceedings.,1995 INRIA/IEEE Symposium[C].1995,1:115-123.
[141]Wang L.C.The development of an object-oriented Petri net cell control model[J].The International Journal of Advanced Manufacturing Technology,1996,11(1/):59-69.
[142]Wang L.C.Objected-oriented Petri Nets for modeling and analysis of automated manufacturing systems[J].Computer Integrated Manufacturing Systems,1996,26(2):111-125.
[143]Wang L.C.An integrated object-oriented Petri Net paradigm for manufacturing control systems[J].International Journal of Computer Integrated Manufacturing,1996,9(1):73-87.
[144]吴耀华.物流系统的建模及其计算机辅助设计[D].北京:清华大学,1996.
[145]Xiaoou Li,Lara-Rosano F.Modeling an electronic component manufacturing system using Object Oriented Colored Petri Nets[A].Electronics,Circuits and Systems,1999.Proceedings oflCECS '99.The 6th IEEE International Conference[C].1999,3:1721-1724.
[146]Gambin A.J.,Piera M.A.,Riera D.A Petri nets based object oriented tool for the scheduling of stochastic flexible manufacturing systems[A].Emerging Technologies and Factory Automation,1999.Proceedings.ETFA '99.1999 7th IEEE International Conference[C],1999,2:1091-1098.
[147]李霄峰,徐立云,邵惠鹤,任德祥.基于Petri网/COM的物流系统建模仿真技术[J].信息与控制,2001,30(3):284-288.
[148]Ming Dong,F.Frank Chen.Process modeling and analysis of manufacturing supply chain networks using object-oriented Petri nets[J].Robotics and Computer-Integrated Manufacturing,2001:17,(1-2):121-129.
[149]Hailin Zhang F.A.,Zhibin Jiang S.B.Modeling and Analysis of Container Terminal Logistics System by Extended Generalized Stochastic Petri Nets[A].Service Operations and Logistics,and Informatics,2006.SOLI'06.IEEE International Conference[C].2006:310-315.
[150]刘韬,傅卫平,王雯,李德信,谢敬.基于面向对象赋时Petri网的出入库系统建模[J].系统仿真学报,2006,18(3):537-541.
[151]H.P.Wang,L.Zeng,S.Jin.Determination of the number of kanbans in JIT systems:A Petri-net approach[J].The International Journal of Advanced Manufacturing Technology,1992,7(1):51-57.
[152]Song A.H.,Ootsuki J.T.,Yoo W.K.,Fujii Y.,Sekiguchi T.FMS's scheduling by colored Petri net model and Hopfield neural network algorithm[A].SICE '95.Proceedings of the 34th SICE Annual Conference.International Session Papers[C],1995:1285-1290.
[153]Van Landeghem,Rik.Bobeanu,Carmen-Veronica.Formal Modeling of Supply Chain:An Incremental Approach using Petri Nets[A].Verbraeck,A.and Krug,W.(Eds.):Proceedings of the 14th European Simulation Symposium,ESS'2002[C].323-327.
[154]Fanti M.P.,Giua A.,Seatzu C.A deadlock prevention method for railway networks using monitors for colored Petri nets[A].Systems,Man and Cybernetics,2003.IEEE International Conference on[C].2003,2:1866-1873.
[155]Kristensen,Lars Michael;J(?)rgensen,Jens B(?)k;Jensen Kurt.Application of Coloured Petri Nets in System Development[J].Lectures on Concurrency and Petri Nets:Advances in Petri Nets.Lecture Notes in Computer Science,Springer-Verlag,2004.2004,3098:626-685.
[156]郭雪松,孙林岩,徐晟.一类基于随机着色Petri网的多级供应链可靠性研究.运筹与管理,2006,15(6):66-70.
[157]郭雪松,孙林岩,徐晟.基于着色Petri网的供应链链路死锁问题研究[J].管理科学,2006,19(5):2-8.
[158]Lianfeng Zhang;Xiao You;Jianxin Jiao;Petri Helo.Modeling Supply Chain Configuration Based on Colored Petri Nets[A].Control,Automation,Robotics and Vision,2006.ICARCV apos;06.9th International Conference[C].2006,(5-8):1-6.
[159]Aized Tauseef,Yakahashi Koji,Hagiwara Ichiro.Modeling and Optimization of multiple product FMS using Colored Petri Net and Design of Experiment[A].Networking,Sensing and Control,2007 IEEE International Conference on[C].2007:334-339.
[160]Hanafi Jessica,Kara Sami,Kaebernick Hartmut.Generating Fuzzy Coloured Petri Net Forecasting Model to Predict the Return of Products[A].Electronics & the Environment,Proceedings of the 2007 IEEE International Symposium[C].2007:245-250.
[161]Behera T.K,Mishra B.S.,Patnaik L.M.,Girault C.Modelling and performance evaluation of flexible manufacturing systems using deterministic and stochastic timed Petri nets[A]..Proceedings of the 4th International Conference on Factory 2000-Advanced Factory Automation,Oct 3-5 1994,York,UK.IEE Conference Publication[C],1994,398:362-368.
[162]Bullinger H.-J.,von Steinaecker Jorg,Weller A.Concepts and Methods for a Production Integrated Environmental Protection[J].International Journal of Production Economics,1999,60-61(3):35-42.
[163]陈胜,程景云.基于Petri网的工作流建模及仿真[J].计算机辅助工程,2000,(3):8-15.
[164]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:48.
[165]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:48-49.
[166]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:54.
[167]吴哲辉.Petri网导论[M].北京:机械工业出版社,2006:79.
[168]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:17.
[169]Zuberk W M.Performance evaluation using unbound timed Petri nets[A].Proc.of the 3~(rd)International Workshop on Petri Nets and Performance Model s,Kyoto,Japan[C],1989:180-186.
[170]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:23.
[171]Dugan J B,Trivedi K S,Geist R M,Nicola V F.Extended stochastic Petri nets:Application and analysis[A].PERFORMANCE'84,Mders of Comput.System Peroformance,In Paris,Gelenbe E(editor).Proc.10~(th)Int.Sump.,Amsterdam:Elsevier[C].,1984:507-519.
[172]林闯,随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:24.
[173]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:98.
[174]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:99.
[175]江志斌.Petri网及其在制造系统建模与控制中的应用[M].北京:机械工业出版社,2004:100.
[176]范玉顺.工作流管理技术基础[M].北京:清华大学出版社,2001:140-144.
[177]林闯.随机Petri网和系统性能评价[M].2.北京:清华大学出版社,2005:294
[178]Sheldon M.Ross.应用随机过程概率模型导论Introduction to Probability Models(英)[M].影印版,第8版.北京:人民邮电出版社,2006:36-37.
[179][美]A.帕普里斯,S.U.佩莱.保铮,冯大政,水鹏朗译.概率、随机变量与随机过程[M].第4版.西安:西安交通大学出版社,2004:115-120.
[180]Emilia Villani,Jean C.Pascal,Paulo E.Miyagi,Robert Valette.A Petri net-based object-oriented approach for the modelling of hybrid productive systems[J].Nonlinear Analysis,2005,62(8):1394-1418.
[181]吴喜之.统计学:从数据到结论[M].第2版,北京:中国统计出版社,2006:249-287.
[182]K.Jensen.Coloured Petri Nets-Basic Concepts,Analysis Methods and Practical Use.Volumel:Basic Concepts[M].EATCS Monographs on Theoretical Computer Science.Springer-Verlag,1992.2nd edition 1996:75-81.
[183]Sunil Chopra,Peter Meindl.Supply Chain Management:Strategy,Planning and Operation[M].Prentice Hall.Inc.,2001:33.