Modelling reconfigurable manufacturing systems with coloured timed Petri nets

References

• Abdi , MR and Labib , AW . 2003 . A design strategy for reconfigurable manufacturing systems (RMSs) using analytical hierarchical process (AHP): a case study . International Journal of Production Research , 42 ( 15 ) : 3055 – 3076 .
   Web of Science ®Google Scholar
• Abdi , MR and Labib , AW . 2004a . Trouping and selecting products: the design key of reconfigurable manufacturing systems (RMSs) . International Journal of Production Research , 42 ( 3 ) : 521 – 546 .
   Web of Science ®Google Scholar
• Abdi , MR and Labib , AW . 2004b . Feasibility study of the tactical design justification for reconfigurable manufacturing systems using the fuzzy analytical hierarchical process . International Journal of Production Research , 42 ( 15 ) : 3055 – 3076 .
   Web of Science ®Google Scholar
• Bowden , FDJ . 2000 . A brief survey and synthesis of the roles of time in Petri nets . Mathematical and Computer Modelling , 31 : 55 – 68 .
   Google Scholar
• Chin , KS , Zu , X , Mok , CK and Tam , HY . 2006 . Integrated integration definition language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes . International Journal of Production Research , 44 ( 15 ) : 3179 – 3205 .
   Web of Science ®Google Scholar
• David , R and Alla , H . 1992 . Petri nets and Grafcet-tools for modelling discrete event systems , Englewood Cliffs, NJ : Prentice-Hall .
   Google Scholar
• Desrochers , AA and Al-Jaar , RY . 1995 . Applications of Petri nets in manufacturing systems , New York : IEEE Press .
   Google Scholar
• Dotoli , M and Fanti , MP . 2004 . Coloured timed Petri net model for real-time control of automated guided vehicle systems . International Journal of Production Research , 42 ( 9 ) : 1787 – 1814 .
   Web of Science ®Google Scholar
• D'Souza , KA . 1994 . A control model for detecting deadlocks in an automated machining cell . Computers & Industrial Engineering , 26 : 133 – 139 .
   Web of Science ®Google Scholar
• Galan , R , Racero , J , Eguia , I and Garcia , JM . 2007 . A systematic approach for product families formation in reconfigurable manufacturing systems . Robotics & Computer-Integrated Manufacturing , 23 ( 5 ) : 489 – 502 .
   Web of Science ®Google Scholar
• Jensen , K . 1995 . Coloured Petri nets: basic concepts, analysis methods and practical use , Vol. 2 , New York : Springer .
   Google Scholar
• Jiang , Z , Zuo , MJ , Tu , PY and Fung , RYK . 1999 . Object-oriented Petri nets with changeable structure (OPNs-CS) for production system modelling . International Journal of Advanced Manufacturing Technology , 15 : 445 – 458 .
   Web of Science ®Google Scholar
• Jiang , Z , Zuo , MJ , Fung , RYK and Tu , PY . 2000 . Temporised coloured Petri nets with changeable structure (CPN-CS) for performance modelling of dynamic production systems . International Journal of Production Research , 38 : 1917 – 1945 .
   Web of Science ®Google Scholar
• Katz , R . 2007 . Design principles of reconfigurable machines . International Journal of Advance Manufacturing Technology , 34 ( 5/6 ) : 430 – 439 .
   Web of Science ®Google Scholar
• Koren , Y and Ulsoy , AG . 1997 . Reconfigurable manufacturing systems. Engineering Research Center for Reconfigurable Machining Systems (ERC/RMS) Report 1 , The University of Michigan, Ann Arbor .
   Google Scholar
• Koren , Y , Heisel , U , Jovance , F , Moriwoki , T , Pritschow , G , Ulsoy , AG and van Brussel , H . 1999 . Reconfigurable manufacturing systems . Annals of the CIRP , 2 : 1 – 13 .
   Google Scholar
• Lee , DY and DiCesare , F . 1994 . Scheduling flexible manufacturing systems using Petri nets and heuristic search . IEEE Transactions on Robotics and Automation , 10 : 123 – 132 .
   Google Scholar
• Liu , DS , Wang , JM and Chan , SCF . 2002 . Modelling workflow processes with coloured Petri nets . Computers in Industry , 49 : 267 – 281 .
   Web of Science ®Google Scholar
• Mehrabi , MG , Ulsoy , AG and Koren , Y . 2000 . Reconfigurable manufacturing systems: key to future manufacturing . Journal of Intelligent Manufacturing , 11 : 403 – 419 .
   Web of Science ®Google Scholar
• Moore , KE and Gupta , SM . 1996 . Petri net models of flexible and automated manufacturing systems: a survey . International Journal of Production Research , 34 ( 11 ) : 3001 – 3035 .
   Web of Science ®Google Scholar
• Nandula , M and Dutta , SP . 2000 . Performance evaluation of an auction-based manufacturing system using coloured Petri nets . International Journal of Production Research , 38 : 2155 – 2171 .
   Web of Science ®Google Scholar
• Peterson , JL . 1981 . Petri Net Theory and the Modelling of Systems , Englewood Cliffs, NJ : Prentice-Hall .
   Google Scholar
• Qiu , RG , McDonnell , P , Joshi , S and Russell , DW . 2005 . A heuristic game theoretic approach to resource sharing in reconfigurable manufacturing . International Journal of Production Research , 25 ( 1/2 ) : 78 – 87 .
   Google Scholar
• Ramachandani , C . 1974 . Analysis of asynchronous concurrent systems by timed Petri nets. Technical Report MAC TR 120 , Cambridge : MIT .
   Google Scholar
• Ravi Raju , K and Krishnaiah Chetty , OV . 1993 . Design and evaluation of automated guided vehicle systems for flexible manufacturing systems: an extended timed Petri net-based approach . International Journal of Production Research , 31 ( 5 ) : 1069 – 1096 .
   Web of Science ®Google Scholar
• Reddy , GB , Murty , SSN and Ghosh , K . 1993 . Timed Petri net: an expeditious tool for modelling and analysis of manufacturing systems . Mathematical and Computer Modelling , 18 ( 9 ) : 17 – 30 .
   Google Scholar
• Spicer , P , Yip-Hoi , D and Koren , Y . 2005 . Scalable reconfigurable equipment design principles . International Journal of Production Research , 43 ( 22 ) : 4839 – 4852 .
   Web of Science ®Google Scholar
• Wang , LC . 1996 . Object-oriented Petri nets for modelling and analysis of automated manufacturing systems . Computer Integrated Manufacturing Systems , 26 ( 2 ) : 111 – 125 .
   Google Scholar
• Wang , LC and Wu , SY . 1998 . Modelling with coloured timed object-oriented Petri nets for automated manufacturing systems . Computers & Industrial Engineering , 34 ( 2 ) : 463 – 480 .
   Web of Science ®Google Scholar
• Yigit , AS and Allahverdi , A . 2003 . Optimal selection of module instances for modular products in reconfigurable manufacturing systems . International Journal of Production Research , 41 ( 17 ) : 4063 – 4074 .
   Web of Science ®Google Scholar
• Youssef , AMA and ElMaraghy , HA . 2006 . Modelling and optimisation of multiple-aspect RMS configurations . International Journal of Production Research , 44 ( 22 ) : 4929 – 4958 .
   Web of Science ®Google Scholar
• Yu , JF , Yin , YH , Sheng , XJ and Chen , ZN . 2003 . Modelling strategies for reconfigurable assembly systems . Assembly Automation , 23 ( 3 ) : 266 – 272 .
   Web of Science ®Google Scholar
• Zhang , L . 2007 . Process platform-based production configuration for mass customisation , Singapore : Division of Systems and Engineering Management, Nanyang Technological University . Dissertation (PhD)
   Google Scholar
• Zhang , L , Jiao , J and Helo , P . 2007 . Process platform representation based on unified modelling language . International Journal of Production Research , 45 ( 2 ) : 323 – 350 .
   Web of Science ®Google Scholar
• Zuberek , WM . 1991 . Timed Petri nets: Definitions, properties, and applications . Microelectronics and Reliability , 31 ( 4 ) : 627 – 644 .
   Web of Science ®Google Scholar