Production-process modelling based on production-management data: a Petri-net approach

References

• Abdeddaim , Y. , Asarin , E. and Maler , O. 2006 . Scheduling with timed automata . Theor. Comput. Sci. , 354 : 272 – 300 .
   Web of Science ®Google Scholar
• Arjona-Suarez , E. and Lopez-Mellado , E. 1996 . Synthesis of coloured Petri nets for FMS task specification . Int. J. Robot. Autom. , 11 : 111 – 117 .
   Web of Science ®Google Scholar
• Basile , F. , Chiacchio , P. , Mazzocca , N. and Vittorini , V. Modeling and control specification of flexible manufacturing systems using behavioral traces and Petri nets building blocks . J. Intel. Manuf. , to appear
   Google Scholar
• Blackstone , J. H. , Phillips , D. T. and Hogg , G. L. 1982 . A state-of-the-art survey of dispatching rules for manufacturing job shop operations . Int. J. Prod. Res. , 20 : 27 – 45 .
   Web of Science ®Google Scholar
• Błażewicz , J. , Domschke , W. and Pesch , E. 1996 . The job shop scheduling problem: conventional and new solution techniques . Eur. J. Oper. Res. , 93 : 1 – 33 .
   Web of Science ®Google Scholar
• Błażewicz , J. , Pesch , E. and Sterna , M. 2000 . The disjunctive graph machine representation of the job shop scheduling problem . Eur. J. Oper. Res. , 127 : 317 – 331 .
   Web of Science ®Google Scholar
• Bowden , F. D.J. 2000 . A brief survey and synthesis of the roles of time in Petri nets . Math. & Comput. Modell. , 31 : 55 – 68 .
   Google Scholar
• Camurri , A. , Franchi , P. , Gandolfo , F. and Zaccaria , R. 1993 . Petri net based process scheduling: a model of the control system of flexible manufacturing systems . J. Intell. Robot. Syst. , 8 : 99 – 123 .
   Web of Science ®Google Scholar
• Czerwinski , C. S. and Luh , P. B. 1994 . Scheduling products with bills of materials using an improved Lagrangian relaxation technique . IEEE T. Robotic Autom. , 10 : 99 – 111 .
   Google Scholar
• Enns , S. T. 1996 . Finite capacity scheduling systems: performance issues and comparisons . Comput. Ind. Eng. , 30 : 727 – 739 .
   Web of Science ®Google Scholar
• Ezpeleta , J. and Colom , J. M. 1997 . Automatic synthesis of colored Petri nets for the control of FMS . IEEE T. Robotic Autom. , 13 : 327 – 337 .
   Google Scholar
• Gu , T. and Bahri , P. A. 2002 . A survey of Petri net applications in batch processes . Comput. Ind. , 47 : 99 – 111 .
   Web of Science ®Google Scholar
• Hauptman , B. and Jovan , V. 2004 . An approach to process producion reactive scheduling . ISA T. , 43 : 305 – 318 .
   PubMed Web of Science ®Google Scholar
• Huang , H. H. , Lewis , F. L. , Pastravanu , O. C. and Gürel , A. 1995 . Flow shop scheduling design in an FMS matrix framework . Control Eng. Pract. , 3 : 561 – 568 .
   Web of Science ®Google Scholar
• Jain , A. S. and Meeran , S. 1999 . Deterministic job-shop scheduling: past, present and future . Eur. J. Oper. Res. , 113 : 390 – 434 .
   Web of Science ®Google Scholar
• Janneck , J. W. and Esser , R. 2002 . Higher-order petri net modelling – techniques and applications . Formal Methods in Software Engineering and Defence Systems. Conferences on Research and Practice in Information Technology . 2002 . pp. 17 – 25 .
   Google Scholar
• Jeng , M. D. 1997 . A Petri net synthesis theory for modelling flexible manufacturing systems . IEEE Transactions on Systems, Man, and Cybernetics – Part B: Cybernetics , 27 : 169 – 183 .
   PubMed Web of Science ®Google Scholar
• Lee , D. Y. and DiCesare , F. 1994 . Scheduling flexible manufacturing systems using Petri nets and heuristic search . IEEE T. Robotic Autom. , 10 : 123 – 132 .
   Google Scholar
• López-Mellado , E. 2002 . Analysis of discrete event systems by simulation of timed Petri net models . Math. Comput. Simulat. , 61 : 53 – 59 .
   Web of Science ®Google Scholar
• Matcovschi , M. H. , Mahuela , C. and Pastravanu , O. 2003 . Petri net toolbox for MATLAB . 11th IEEE Mediterranean Conference on Control and Automation, MED'03 . 2003 .
   Google Scholar
• Murata , T. 1989 . Properties, analysis and applications . Proceedings of the IEEE , 77 : 541 – 580 .
   Web of Science ®Google Scholar
• Panwalkar , S. S. and Iskaneder , W. 1977 . A survey of Scheduling Rules . Oper. Res. , 25 : 45 – 61 .
   Web of Science ®Google Scholar
• Proth , J. M. , Wang , L. and Xie , X. 1997 . A class of Petri nets for manufacturing system integration . IEEE T. Robotic Autom. , 13 : 317 – 326 .
   Google Scholar
• Ratzer , A. , Wells , L. , Lassen , H. , Laursen , M. , Qvortrup , J. , Stissing , M. , Westergaard , M. , Christensen , S. and Jensen , K. 2003 . “ CPN tools for editing, simulating, and analysing coloured Petri nets ” . In 24th ICATPN 450 – 462 .
   Google Scholar
• Recalde , L. , Silva , M. , Ezpeleta , J. and Teruel , E. 2004 . Petri Nets and Manufacturing Systems: An Examples-Driven Tour , 742 – 788 . Berlin : Springer . Lectures on Concurrency and Petri Nets
   Google Scholar
• Richard , P. and Proust , C. 1998 . Solving scheduling problems using Petri nets and constraint logic programming . RAIRO – Recherche Operationnelle – Operations Research , 32 : 125 – 143 .
   Web of Science ®Google Scholar
• Silva , M. and Teruel , E. 1997 . Petri nets for the design and operation of manufacturing systems . Euro. J. Control , 3 : 82 – 199 .
   Web of Science ®Google Scholar
• Van der Aalst , W. M.P. 1996 . Petri net based scheduling . OR Spectrum , 18 : 219 – 229 .
   Google Scholar
• Van der Aalst , W. M.P. 1998 . The application of Petri nets to workflow management . J. Circuit, Syst. Comp. , 8 : 21 – 66 .
   Web of Science ®Google Scholar
• Wortmann , H. 1995 . Comparison of information systems for engineer-to-order and make-to-stock situations . Comp. Ind. , 26 : 261 – 271 .
   Web of Science ®Google Scholar
• Xue , Y. , Kieckhafer , R. M. and Choobineh , F. F. 1998 . Automated construction of GSPN models for flexible manufacturing systems . Comp. Ind. , 37 : 17 – 25 .
   Web of Science ®Google Scholar
• Yeh , C. H. 1997 . Schedule based production . Int. J. Prod. Econom. , 51 : 235 – 242 .
   Web of Science ®Google Scholar
• Yu , H. , Reyes , A. , Cang , S. and Lloyd , S. 2003 . Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems – Part I: Petri net modelling and heuristic search . Comput. Ind. Eng. , 44 : 527 – 543 .
   Web of Science ®Google Scholar
• Yu , H. , Reyes , A. , Cang , S. and Lloyd , S. 2003 . Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems—Part II: Heuristic hybrid search . Comput. Ind. Eng. , 44 : 545 – 566 .
   Web of Science ®Google Scholar
• Zhou , M. , DiCesare , F. and Desrochers , A. A. 1992 . A hybrid methodology for synthesis of Petri net models for manufacturing systems . IEEE T. Robotic Autom. , 8 : 350 – 361 .
   Google Scholar
• Zhou , M. C. and Venkatesh , K. 1999 . Modelling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach , New York : World Scientific .
   Google Scholar
• Zuberek , W. M. 1991 . Timed Petri nets: definitions, properties and applications . Microelectron. Reliab. , 31 : 627 – 644 .
   Web of Science ®Google Scholar
• Zuberek , W. M. and Kubiak , W. 1999 . Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells . Comput. Math. Appl. , 37 : 191 – 206 .
   Web of Science ®Google Scholar