Petri net models of flexible and automated manufacturing systems : a survey
暂无分享,去创建一个
[1] Tilak Agerwala,et al. Comments on capabilities, limitations and “correctness” of Petri nets , 1973, ISCA 1973.
[2] S. Rao Kosaraju,et al. Limitations of Dijkstra's Semaphore Primitives and Petri nets , 1973, SOSP '73.
[3] C. Ramchandani,et al. Analysis of asynchronous concurrent systems by timed petri nets , 1974 .
[4] P. Merlin,et al. A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..
[5] C. V. Ramamoorthy,et al. Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.
[6] Stéphane Natkin,et al. Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
[7] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[8] S. Rao Kosaraju,et al. Decidability of reachability in vector addition systems (Preliminary Version) , 1982, STOC '82.
[9] Michael K. Molloy. Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.
[10] Didier Dubois,et al. Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.
[11] Ernst W. Mayr. An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..
[12] Marco Ajmone Marsan,et al. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.
[13] P. Ladet,et al. Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system , 1985, European Workshop on Applications and Theory in Petri Nets.
[14] Robert Valette,et al. PSI: A Petri net based simulator for flexible manufacturing systems , 1984, European Workshop on Applications and Theory in Petri Nets.
[15] Giorgio Bruno,et al. Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets , 1985, PNPM.
[16] Joël Favrel,et al. Hierarchical reduction method for analysis and decomposition of Petri nets , 1985, IEEE Transactions on Systems, Man, and Cybernetics.
[17] Robert Valette,et al. Nets in Production Systems , 1986, Advances in Petri Nets.
[18] Manjunath Kamath,et al. Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.
[19] Joël Favrel,et al. Generalized Petri Net Reduction Method , 1987, IEEE Transactions on Systems, Man, and Cybernetics.
[20] Manuel Silva Suárez,et al. Modeling, validation and software implementation of production systems using high level Petri nets , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.
[21] Manuel Silva Suárez,et al. Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.
[22] Marco Ajmone Marsan,et al. Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.
[23] M. Zhou,et al. A top-down approach to systematic synthesis of Petri net models for manufacturing systems , 1989, Proceedings, 1989 International Conference on Robotics and Automation.
[24] Jean-Marie Proth,et al. Performance evaluation of job-shop systems using timed event-graphs , 1989 .
[25] Alan A. Desrochers. Modeling and Control of Automated Manufacturing Systems , 1989 .
[26] F. Archetti,et al. Development analysis and simulation of Petri net models: an application to AGV systems , 1989 .
[27] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[28] Alan A. Desrochers,et al. Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets , 1990, IEEE Trans. Robotics Autom..
[29] Anna Sciomachen,et al. Optimal control policies for automated storage/retrieval system using PN models and stochastic optimization , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[30] Banani Saha,et al. Computer-based reduction technique for Petri nets , 1991 .
[31] Tharam S. Dillon,et al. Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[32] Frank DiCesare,et al. Modeling and control information flow for a CIM system using colored Petri nets , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.
[33] J. P. Bourey,et al. Hierarchical specification and validation of operating sequences in the context of FMSs , 1991 .
[34] J.R. Watson,et al. Applying generalized stochastic Petri nets to manufacturing systems containing nonexponential transition functions , 1991, IEEE Trans. Syst. Man Cybern..
[35] Kishor S. Trivedi,et al. A decomposition approach for stochastic Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[36] Grzegorz Rozenberg,et al. High-level Petri Nets: Theory And Application , 1991 .
[37] Paul Freedman,et al. Time, Petri nets, and robotics , 1991, IEEE Trans. Robotics Autom..
[38] Ming C. Leu,et al. Modeling and Performance Analysis of a Flexible PCB Assembly Station Using Petri Nets , 1991 .
[39] Frank DiCesare,et al. Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems , 1991, IEEE Trans. Syst. Man Cybern..
[40] M.C. Zhou,et al. Construction of Petri net based mathematical models of an FMS cell , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.
[41] Xiaolan Xie,et al. A step-wise specification of a manufacturing system using Petri nets , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.
[42] Xiaolan Xie,et al. Marking Optimization In Timed Event Graphs , 1991, Applications and Theory of Petri Nets.
[43] B. Descotes-Genon,et al. Petri net based node structures for distributed problem solving in FMS control , 1992 .
[44] MengChu Zhou,et al. Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..
[45] Gerald M. Knapp,et al. Modeling of automated storage/retrieval systems using petri nets , 1992 .
[46] Mohsen A. Jafari,et al. An architecture for a shop-floor controller using colored Petri nets , 1992 .
[47] MengChu Zhou,et al. A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..
[48] Yadati Narahari,et al. Performance modeling of automated manufacturing systems , 1992 .
[49] M. C. Jothishankar,et al. Determination of optimal number of Kanbans using stochastic petri nets , 1992 .
[50] René David,et al. Petri nets and grafcet - tools for modelling discrete event systems , 1992 .
[51] James T. Lin,et al. A modular approach for the modelling of a class of zone-control conveyor system using timed Petri nets , 1992 .
[52] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[53] R H Weston,et al. CIM-OSA and Stochastic Time Petri Nets for Behavioural Modelling and Model Handling in CIM Systems Design and Building , 1993 .
[54] O. V. Krishnaiah Chetty,et al. Design and evaluation of automated guided vehicle systems for flexible manufacturing systems: an extended timed Petri net-based approach , 1993 .
[55] O. V. Krishnaiah Chetty,et al. Addressing design and control issues of AGV-based FMSs with Petri net aided simulation , 1993 .
[56] MengChu Zhou,et al. Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.
[57] Chih-Ming Liu,et al. Using Petri nets to solve FMS problems , 1993 .
[58] Hsu-Pin Wang,et al. Design and development of a stochastic high-level Petri net system for FMS performance evaluation , 1993 .
[59] Suresh K. Khator,et al. A Petri net approach for modelling controls of a computer-integrated assembly cell , 1993 .
[60] John A. Buzacott,et al. Stochastic models of manufacturing systems , 1993 .
[61] G. Righini. Modular Petri nets for simulation of flexible production systems , 1993 .
[62] MengChu Zhou,et al. Petri net synthesis and analysis of a flexible manufacturing system cell , 1993, IEEE Trans. Syst. Man Cybern..
[63] V. S. Srinivasan,et al. Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..
[64] T. T. Narendran,et al. On using abstract models for analysis of flexible manufacturing systems , 1994 .
[65] Emmanuel Castelain,et al. A method for hierarchical modeling of the command of flexible manufacturing systems , 1994, IEEE Trans. Syst. Man Cybern..
[66] John K. Jackman,et al. Petri net extensions for modelling and validating manufacturing systems , 1994 .
[67] Richard Zurawski. Systematic construction of functional abstractions of Petri net models of flexible manufacturing systems , 1994, IEEE Trans. Ind. Electron..
[68] Nukala Viswanadham,et al. Composite performance-dependability analysis of cellular manufacturing systems , 1994, IEEE Trans. Robotics Autom..
[69] MengChu Zhou,et al. Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..
[70] Mario van Vliet,et al. Analytical models for FMS design optimization: A survey , 1994 .
[71] Srini Ramaswamy,et al. Modeling, analysis and simulation of failures in a materials handling system with extended Petri nets , 1994 .
[72] Frank DiCesare,et al. Integrated scheduling of flexible manufacturing systems employing automated guided vehicles , 1994, IEEE Trans. Ind. Electron..
[73] Arthur C. Sanderson,et al. Task decomposition and analysis of robotic assembly task plans using Petri nets , 1994, IEEE Trans. Ind. Electron..
[74] Suresh K. Khator,et al. A survey of Petri net applications in modeling controls for automated manufacturing systems , 1994 .
[75] Alessandro Giua,et al. Petri net structural analysis for supervisory control , 1994, IEEE Trans. Robotics Autom..
[76] MengChu Zhou,et al. Augmented timed petri nets for modeling, simulation, and analysis of robotic systems with breakdowns , 1994 .
[77] MengChu Zhou,et al. Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..
[78] Shi-Chung Chang,et al. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..
[79] René David,et al. Petri nets for modeling of dynamic systems: A survey , 1994, Autom..
[80] Dong-Soon Yim,et al. A Petri net-based simulation tool for the design and analysis of flexible manufacturing systems , 1994 .
[81] Damien Trentesaux,et al. Modelling with coloured timed Petri nets and simulation of a dynamic and distributed management system for a manufacturing cell , 1994 .
[82] Frank DiCesare,et al. Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..
[83] Brenan J. McCarragher. Petri net modelling for robotic assembly and trajectory planning , 1994, IEEE Trans. Ind. Electron..
[84] N. Viswanadham,et al. Performability of automated manufacturing systems with centralized material handling , 1994 .
[85] Li-Chen Fu,et al. A Petri net based approach to modeling and scheduling for an FMS and a case study , 1994, IEEE Trans. Ind. Electron..
[86] Fei-Yue Wang,et al. Protocol design and performance analysis for manufacturing message specification: A Petri net approach , 1994, IEEE Trans. Ind. Electron..