Petri net extensions for the development of MIMO net models of automated manufacturing systems

[1]  J. Davenport.  Editor , 1960 .

[2]  T. Murata.  State equation, controllability, and maximal matchings of petri nets , 1977 .

[3]  Jean-Loup Baer,et al.  Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment , 1977, IEEE Transactions on Software Engineering.

[4]  Horst F. Wedde,et al.  Analyzing Program Solutions of Coordination problems by CP-Nets , 1978, MFCS.

[5]  Tilak Agerwala,et al.  A Synthesis Rule for Concurrent Systems , 1978, 15th Design Automation Conference.

[6]  Michael D. Zisman.  USE OF PRODUCTION SYSTEMS FOR MODELING ASYNCHRONOUS, CONCURRENT PROCESSES , 1978 .

[7]  P. Merlin,et al.  Specification and Validation of Protocols , 1979, IEEE Trans. Commun..

[8]  Matthias Jantzen.  Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research , 1979, Advanced Course: Net Theory and Applications.

[9]  Klaus Voss.  Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems , 1980, IEEE Trans. Software Eng..

[10]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[11]  Gérard Berthelot,et al.  Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.

[12]  Kurt Lautenbach,et al.  The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes , 1982, IEEE Transactions on Computers.

[13]  M. Omizo,et al.  Modeling , 1983, Encyclopedic Dictionary of Archaeology.

[14]  Siyi Terry Dong.  The modeling, analysis and synthesis of communication protocols , 1983 .

[15]  H.-P. Lipp.  The Application of a Fuzzy Petri Net for Controlling Complex Industrial Processes , 1983 .

[16]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[17]  G. N. Saridis,et al.  Intelligent robotic control , 1983 .

[18]  Alexander H. Levis,et al.  Petri net representation of decision models , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[19]  B. Krogh,et al.  Models for simulation and discrete control of manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[20]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[21]  Bruce H. Krogh,et al.  Essentially decision free Petri nets for real-time resource allocation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[22]  Alexander H. Levis,et al.  On the design of distributed organizational structures, , 1988, Autom..

[23]  Tadao Murata,et al.  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..

[24]  Alan A. Desrochers.  Modeling and Control of Automated Manufacturing Systems , 1989 .

[25]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[26]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[27]  Kimon P. Valavanis.  On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets , 1990, IEEE Trans. Syst. Man Cybern..

[28]  J. T. Black,et al.  Cellular manufacturing systems modeling: The Petri net approach , 1990 .

[29]  George N. Saridis,et al.  A Petri-net coordination model for an intelligent mobile robot , 1990, 29th IEEE Conference on Decision and Control.

[30]  G. Harhalakis,et al.  Development of a factory level CIM model , 1990 .

[31]  J. Prock.  A new technique for fault detection using Petri nets , 1991, Autom..

[32]  Fei-Yue Wang,et al.  A Petri-net coordination model for an intelligent mobile robot , 1991, IEEE Trans. Syst. Man Cybern..

[33]  Alan A. Desrochers,et al.  Applying generalized stochastic Petri nets to manufacturing systems containing nonexponential transition functions , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[34]  Vijay Varadharajan,et al.  A petri net model for system design and refinement , 1991, J. Syst. Softw..

[35]  Jeffrey J. Farah,et al.  The planning coordinator: A design architecture for autonomous error recovery and on-line planning of intelligent tasks , 1992 .

[36]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[37]  Gerald M. Knapp,et al.  Modeling of automated storage/retrieval systems using petri nets , 1992 .

[38]  Mohsen A. Jafari,et al.  Design of a factory floor sequence controller from a high level system specification , 1992 .

[39]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[40]  B. Krogh,et al.  On Petri net models of infinite state supervisors , 1992 .

[41]  Carlo Ghezzi,et al.  Process Model Evolution in the SPADE Environment , 1993, IEEE Trans. Software Eng..

[42]  Antonio Camurri,et al.  Petri net based process scheduling: A model of the control system of flexible manufacturing systems , 1993, J. Intell. Robotic Syst..

[43]  Gernot Richter,et al.  Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language , 1993, IEEE Trans. Software Eng..

[44]  MuDer Jeng,et al.  A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..

[45]  O. V. Krishnaiah Chetty,et al.  Priority nets for scheduling flexible manufacturing systems , 1993 .

[46]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..

[47]  Srini Ramaswamy,et al.  Modeling, analysis and simulation of failures in a materials handling system with extended Petri nets , 1994 .

[48]  Kishor S. Trivedi,et al.  Spnp Users Manual Version 4.0 , 1994 .

[49]  MengChu Zhou,et al.  Augmented timed petri nets for modeling, simulation, and analysis of robotic systems with breakdowns , 1994 .

[50]  Kimon P. Valavanis.  Intelligent Robotic Systems: Theory, Design and Applications , 1995, ICCCN.

[51]  K. P. Valavanis,et al.  Model development of MIMO nets: a H-EPN based approach , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[52]  Srini Ramaswamy,et al.  Hierarchical time-extended Petri nets (H-EPNs) based error identification and recovery for multilevel systems , 1996, IEEE Trans. Syst. Man Cybern. Part B.