References
- Ahuja , J. S. and Valavanis , K. P. A hierarchical modeling methodology for flexible manufacturing systems using extended Petri nets . Proceedings of International Conference on Computer Integrated Manufacturing . Troy , USA. pp. 350 – 356 .
- Balduzzi , F. , Giua , A. and Seatzu , C. 2001 . Modelling and simulation of manufacturing systems with first-order hybrid Petri nets . International Journal of Production Research , 39 : 255 – 282 .
- Chan , F. T.S. and Zhang , J. 2001 . Modelling for agile manufacturing systems . International Journal of Production Research , 39 : 2313 – 2332 .
- Ferrarini , L. 1992 . An incremental approach to logic controller design with Petri nets . IEEE Transactions on Systems, Man and Cybernetics , 3 : 461 – 473 .
- Jiang , Z. , Zou , J. , Tu , P. Y. and Fung , R. Y.K. 1999 . Object-orientied Petri nets with changeable structure (OPNs-CS) for production systems modeling . International Journal of Advanced Manufacturing Technology , 15 : 445 – 458 .
- Kalita , D. and Khargonekar , P. P. 2002 . Formal verification for analysis and design of logic controllers for reconfigurable machining systems . IEEE Transactions on Robotics & Automation , 18 : 463 – 473 .
- Koren , Y. , Heisel , U. , Jovane , F. , Motiwaki , T. , Pritchow , G. , Van Brussel , H. and Ulsoy , A. G. 1999 . Reconfigurable manufacturing systems . CIRP Annual , 48 : 527 – 540 .
- Li , J. , Dai , X. and Meng , Z. Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers . Proceedings of 31st Annual Conference of the IEEE Industrial Electronics Society . Raleigh , USA. pp. 2284 – 2289 .
- Li , J. , Dai , X. and Meng , Z. 2008 . Improved net rewriting systems-based approach to model reconfiguration of reconfigurable manufacturing systems . International Journal of Advanced Manufacturing Technology , 37 ( 11–12 ) : 1168 – 1189 .
- Lin , M. and Fu , L. 2000 . Modelling, control and simulation of an IC wafer fabrication system: a generalized stochastic coloured timed Petri net approach . International Journal of Production Research , 38 : 3305 – 3341 .
- Llorens , M. and Oliver , J. 2004 . Structural and dynamic changes in concurrent systems: reconfigurable Petri nets . IEEE Transactions on Computers , 2004 : 1147 – 1158 .
- Murata , T. 1989 . Petri nets: properties, analysis and applications . Proceedings of the IEEE , 77 : 541 – 580 .
- Molina , A. , Rodriguez , C. A. , Ahuett , H. , Cortés , J. A. , Ramírez , M. , Jiménez , G. and Martinez , S. 2005 . Next-generation manufacturing systems: key research issues in developing and integrating reconfigurable and intelligent machines . International Journal of Computer Integrated Manufacturing , 18 : 525 – 536 .
- Maier-Speredelozzi , V. and Hu , S. J. 2002 . Selection manufacturing system configuration based on performance using AHP . Transactions of NAMRI/SME , 30 : 637 – 644 .
- Park , E. , Tilbury , D. M. and Khargonekar , P. P. 2001 . A modeling and analysis methodology for modular logic controllers of machining systems using Petri nets formalism . IEEE Transactions of Systems, Man and Cybernetics. Part C: Application and Reviews , 31 : 168 – 186 .
- Peterson , J. L. 1981 . Petri net theory and the modeling of systems , Englewood Cliffs : Prentice-Hall .
- Ramadge , P. J. and Wonham , W. M. 1987 . Supervisory control of a class of discrete-event processes . SIAM Journal on Control and Optimization , 25 : 206 – 230 .
- Son , S. Y. 2000 . Design principles and methodologies for reconfigurable machining systems Thesis (PhD). University of Michigan
- Suzuki , I. and Murata , T. 1983 . A method for stepwise refinement and abstraction of Petri nets . Journal of Computer and Systems Science , 27 : 51 – 76 .
- Xiaobo , Z. , Wang , J. and Lou , Z. 2000 . A stochastic model of a reconfigurable manufacturing system part 2: optimal configurations . International Journal of Production Research , 38 : 2829 – 2842 .
- Zhou , M. C. and DiCesare , F. 1991 . Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources . IEEE Transactions on Robotics and Automation , 7 : 515 – 527 .
- Zhou , M. C. and DiCesare , F. 1992 . A hybrid methodology for synthesis of Petri nets for manufacturing systems . IEEE Transactions on Robotics and Automation , 8 : 350 – 361 .