Modelling and optimisation of hull erection process

References

• Badiru, A.B., Leakeas, C.L., and Leach, S.E., 2007. MatLab-based modeling and simulation of large project networks. In: Proceedings of the IIE annual conference and EXPO 2007 – Industrial engineering's critical role in a flat world-conference, 19–23 May, Nashville, TN. Norcross, GA: Institute of Industrial Engineers, 469–474.
   Google Scholar
• Cheeung , SC and Kramer , J . 1993 . Enhancing compositional reachability analysis with context constraints . ACM SIGSOFT Software Engineering Notes , 18 ( 5 ) : 115 – 125 .
   Google Scholar
• Cheng , YH and Yang , LA . 2009 . A fuzzy Petri nets approach for railway traffic control in case of abnormality: evidence from Taiwan railway system . Expert Systems with Applications , 36 ( 4 ) : 8040 – 8048 .
   Google Scholar
• Chien , CF and Chen , CH . 2007 . Using genetic algorithms (GA) and a coloured timed Petri net (CTPN) for modelling the optimization-based schedule generator of a generic production scheduling system . International Journal of Production Research , 45 ( 8 ) : 1763 – 1789 .
   Web of Science ®Google Scholar
• Conde , E . 2009 . A minmax regret approach to the critical path method with task interval times . European Journal of Operational Research , 197 ( 1 ) : 235 – 242 .
   Web of Science ®Google Scholar
• Finkel, A., 1993. The minimal coverability graph for Petri nets. In: Advances in Petri nets 1993. Berlin: Springer-Verlag, 210–243. [Paper from International conference on applications and theory of Petri nets, June 1991 Gjern, Denmark].
   Google Scholar
• Goldratt , EM . 1997 . Critical chain , Great Barrington, MA : North River Press .
   Google Scholar
• He , SJ and Luo , J . 2009 . Deadlock control of autonomous vehicle storage and retrieval systems via coloured timed Petri nets and digraph tools . International Journal of Production Research , 47 ( 12 ) : 3253 – 3263 .
   Web of Science ®Google Scholar
• Huang , B , Sun , Y and Sun , YM . 2008 . Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search . International Journal of Production Research , 46 ( 16 ) : 4553 – 4565 .
   Web of Science ®Google Scholar
• Jiang , ZB . 2004 . Petri net and application of modeling and control in manufacturing systems , Beijing : China Machine Press .
   Google Scholar
• Jin, Z.L., 2008. To build a world shipbuilding power by strategy transformation [online]. Available from: http://www.ccps.gov.cn/dxrd.php?col=161&file=4839 [Accessed 6 March 2008].
   Google Scholar
• Karp , RM and Miller , RE . 1969 . Parallel program schemata . Journal of Computer and System Sciences , 3 ( 4 ) : 25 – 43 .
   Google Scholar
• Leach , LP . 2005 . Critical chain project management, , 2nd , Boston, MA : Artech House .
   Google Scholar
• Lin , C . 2001 . Stochastic Petri nets and performance evaluation of systems , Beijing : Tsinghua University Press .
   Google Scholar
• Merlin, P.M., 1974. A study of the recoverability of computing systems. Thesis (PhD). University of California.
   Google Scholar
• Murata , T . 1981 . Petri nets: network theory for concurrent systems . In: Circuit theory and design: Proceedings of the 1981 European conference on circuit theory and design . 25–28 August 1981 , The Hague, The Netherlands. pp. 203 – 204 . Amsterdam : Delft University Press (IOS Press) .
   Google Scholar
• Murata , T . 1989 . Petri nets: properties, analysis, and applications . Proceedings of the IEEE , 77 ( 11 ) : 541 – 580 .
   Google Scholar
• Nishi , T , Shimatani , K and Inuiguchi , M . 2009 . Decomposition of Petri nets and Lagrangian relaxation for solving routing problems for AGVs . International Journal of Production Research , 47 ( 14 ) : 3957 – 3977 .
   Web of Science ®Google Scholar
• Pedrycz , W and Camargo , H . 2003 . Fuzzy timed Petri nets . Fuzzy Sets and Systems , 140 ( 2 ) : 301 – 330 .
   Google Scholar
• Peterson , JL . 1981 . Petri net theory and the modeling of systems , Englewood Cliffs, NJ : Prentice-Hall International .
   Google Scholar
• Petri, C.A., 1962. Kommunikation mit Automaten. Thesis (PhD). Institut für Instrumentelle Mathematik.
   Google Scholar
• Pezze, M. and Young, M., 1999. Time Petri nets: a primer introduction. Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications at the Eighth international workshop on Petri Nets and performance models, 8–10 September, Zaragoza, Spain.
   Google Scholar
• Pritsker , AAB . 1979 . Modeling and analysis using Q-GERT networks, , 2nd , New York : John Wiley & Sons .
   Google Scholar
• Ramchandani, C., 1974. Analysis of asynchronous concurrent systems by timed Petri nets. Thesis (PhD). Massachusetts Institute of Technology.
   Google Scholar
• Raz , T , Branes , R and Dvir , D . 2003 . A critical look at critical chain project management . Project Management Journal , 34 ( 4 ) : 24 – 32 .
   Google Scholar
• Salum , L . 2008 . Petri nets and time modeling . The International Journal of Advanced Manufacturing Technology , 38 ( 3–4 ) : 377 – 382 .
   Google Scholar
• Siew , KK . 2006 . Project network plan-an effective project management tool for planning and control . In: Proceedings of ISA EXPO 2006 . 17–19 October 2006 , Houston, Texas. pp. 51 – 59 . Triangle Park, NC : ISA-Instrumentation, Systems, and Automation Society .
   Google Scholar
• Silva , M and Recalde , L . 2004 . On fluidification of Petri nets: from discrete to hybrid and continuous models . Annual Reviews in Control , 28 ( 2 ) : 253 – 266 .
   Web of Science ®Google Scholar
• Tao, Z., Xiao, T.Y., and Hao, C.Z., 2007. Petri net and GASA based approach for dynamic JSP. In: Proceedings of the 2007 IEEE international conference on mechatronics and automation, 5–8 August, Harbin, Heilongjiang, China. Piscataway, NJ: Institute of Electrical and Electronics Engineers Computer Society, 3888–3893.
   Google Scholar
• Villani , E , Miyagi , PE and Valette , R . 2007 . Modeling and analysis of hybrid supervisory systems: a Petri net approach , London : Springer-Verlag .
   Google Scholar
• Wu , ZH and Murata , T . 1984 . Use of Petri nets for distributed control of fairness in concurrent systems . In: Proceedings of the 1st international conference on computers & applications . June 1984 , Beijing, China. pp. 84 – 91 . NY : IEEE .
   Google Scholar
• Wu , ZH and Wang , MQ . 1987 . A kind of Petri nets involving time factors and their applications in engineering . Acta Mathematicae Applicatae Sinica , 10 ( 3 ) : 289 – 299 .
   Google Scholar
• Wu , ZH , Wang , PL and Wang , MQ . 1989 . Petri nets for scheduling engineering projects with nondeterministic duration of process steps . Journal of Systems Science and Mathematical Sciences , 9 ( 4 ) : 289 – 297 .
   Google Scholar
• Wu , ZH . 2006 . Introduction of Petri net , Beijing : China Machine Press .
   Google Scholar
• Xu , AG . 1995 . Petri nets for scheduling engineering problems of modeling and solving . Systems Engineering–Theory & Practice , 15 ( 8 ) : 20 – 29 .
   Google Scholar
• Yuan , CY . 2005 . Principles and application of Petri nets , Beijing : Publishing House of Electronics Industry .
   Google Scholar
• Zammori , FA , Braglia , M and Frosolini , M . 2009 . A fuzzy multi-criteria approach for critical path definition . International Journal of Project Management , 27 ( 3 ) : 278 – 291 .
   Web of Science ®Google Scholar
• Zhang , HT and He , YB . 2007 . A new calculating method of fuzzy network . Sichuan Building Science , 33 ( 2 ) : 204 – 206 .
   Google Scholar
• Zhang, M.H., 2005. The study of lean shipbuilding system. Thesis (PhD). Harbin Engineering University.
   Google Scholar
• Zhang , W , Freiheit , T and Yang , H . 2005 . Dynamic scheduling in flexible assembly system based on timed Petri nets model . Robotics and Computer-Integrated Manufacturing , 21 ( 6 ) : 550 – 558 .
   Web of Science ®Google Scholar
• Zhou , Y and Murata , T . 1999 . Petri net model with fuzzy timing and fuzzy-metric temporal logic . International Journal of Intelligent Systems , 14 ( 8 ) : 719 – 746 .
   Google Scholar