Petri Net Extensions for the Development of MIMO Net Models of Automated Manufacturing Systems

Journal of Manufacturing Systems

Volumn 16, Issue 3, 1997, Pages 175-191

  Ramaswamy, Srinivasan ^a,c   Valavanis, Kimon P ^b   Barber, Suzanne ^c,d  

^a Georgia Southwestern University   (United States)

^b UNIVERSITY OF LOUISIANA AT LAFAYETTE   (United States)

^c UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^d UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

Author keywords

Automated Manufacturing Systems; Failure Accommodation; Model Based Planning; Modeling and Analysis; OO Techniques in Manufacturing Control Software Development; Petri Nets; Priority Scheduling

Indexed keywords

EID: 0000543906     PISSN: 02786125     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0278-6125(97)88886-3     Document Type: Article

References (52)

1. G. Ciardo et al., "SPNP: Stochastic Petri Net Package," International Conference on Petri Nets and Performance Models (Japan: Dec. 1989).
2. T. Agerwala and Y. Choed-Amphai, "A Synthesis Rule for Concurrent Systems," Proceedings of the 15th Design Automation Conference (June 1978).
3. W.E. Kludge and K. Lautenbach, "The Orderly Resolution of Memory Access Conflicts Among Conflicting Channel Processes," IEEE Transactions on Computers (vC-31, n3, 1982).
4. J.L. Baer and C.S. Ellis, "Modeling, Design and Evaluation of a Compiler for Parallel Processing Environment," IEEE Transactions on Software Engineering (vSE-3, n6, 1977).
5. H.P. Lipp, "The Application of Fuzzy Petri Nets for Controlling Complex Industrial Processes," IFAC Conference on Fuzzy Information Control (July 1983).
6. T. Murata and D. Zhang, "A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs," IEEE Transactions on Software Engineering (v14, n4, Apr. 1988), pp481-497.
7. M. Schiffers and H. Wedde, "Analyzing Program Solutions of Coordinated Problems by CP Nets," Vol. 64 of Lecture Notes in Computer Science (Berlin: Springer-Verlag, Apr. 1987), pp463-473.
8. K. Voss, "Using Predicate/Transition Nets to Model and Analyze Distributed Data Base Systems," IEEE Transactions on Software Engineering (vSE-6, n6, 1980).
9. G. Berthelot and R. Terrat, "Petri Net Theory for Correctness of Protocols," IEEE Transactions on Communication (v30, n12, 1982).
10. M. Diaz, "Modeling and Analysis of Communication and Cooperation Protocols," Communication Networks (n6, 1982).
11. S.T. Dong, "The Modeling, Analysis and Synthesis of Communication Protocols," PhD thesis (Berkeley, CA: Univ. of California-Berkeley, 1983).
12. P.M. Merlin, "Specification and Validation of Protocols," IEEE Transactions on Communications (v27, n11, 1979).
13. G. Bruno and G. Marchetto, "Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems," IEEE Transactions on Software Engineering (vSE-12, Feb. 1986).
14. A. Camurri et al., "Petri Net Based Process Scheduling: A Model of the Control System of Flexible Manufacturing Systems," Journal of Intelligent and Robotic Systems (1992).
15. D. Dubois and K.E. Stecke, "Using Petri Nets to Represent Production Processes," IEEE International Conference on Decision and Control (Dec. 1983), pp1062-1067.
16. T. Murata, "State Equation, Controllability and Maximal Matchings on Petri Nets," IEEE Transactions on Automatic Control (Jan. 1980).
17. J. Prock, "A New Technique for Fault Detection Using Petri Nets," Automatica (v27, n2, 1991).
18. M. Jantzen, "Structures Representation of Knowledge by Petri Nets as an Aid for Teaching and Research," Lecture Notes in Computer Science (Springer-Verlag, 1980).
19. M.D. Zisman, "Use of Production Systems for Modeling Asynchronous, Concurrent Processes," in Pattern-Directed Inference Systems, D.A. Waterman, ed. (New York: 1978).
20. C.L. Beck and B.H. Krogh, "Models for Simulation and Discrete Control of Manufacturing Systems," IEEE International Conference on Robotics and Automation (Mar. 1986), pp305-310.
21. Thomas O. Boucher and Mohsen A. Jafari, "Design of a Factory Floor Sequence Controller from a High Level System Specification," Journal of Manufacturing Systems (v11, n6, 1992), pp401-417.
22. A.A. Desrochers, ed., Modeling and Control of Automated Manufacturing Systems (New York: IEEE Computer Society Press, 1990).
23. H.J. Genrich and K. Lautenbach, "System Modeling with High-Level Petri Nets," Theoretical Computer Science (v13, 1981), pp109-136.
24. G. Harhalakis, C.P. Lin, H. Hillion, and K.Y. Moy, "Development of a Factory Level CIM Model," Journal of Manufacturing Systems (v9, n2, 1990), pp116-128.
25. G.M. Knapp and H-P.B. Wang, "Modeling of Automated Storage/Retrieval Systems Using Petri Nets," Journal of Manufacturing Systems (v11, n1, 1992), pp20-29.
26. B.H. Krogh and R.S. Sreenivas, "Essentially Decision Free Petri Nets for Real Time Resource Allocation," IEEE International Conference on Robotics and Automation (Apr. 1987), pp1005-1011.
27. S. Ramaswamy and K.P. Valavanis, "Modeling, Analysis and Simulation of Failures in a Materials Handling System with Extended Petri Nets," IEEE Transactions on Systems, Man and Cybernetics (v24, n9, Sept. 1994).
28. V.S. Srinivasan and M.A. Jafari, "Fault Detection/Monitoring Using Time Petri Nets," IEEE Transactions on Systems, Man and Cybernetics (v23, n4, July 1993), pp1155-1162.
29. K.R. Raju and O.V.K. Chetty, "Priority Nets for Scheduling Manufacturing Systems," Journal of Manufacturing Systems (v12, n4, 1993), pp326-340.
30. S. Teng and J T. Black, "Cellular Manufacturing Systems Modeling: The Petri Net Approach," Journal of Manufacturing Systems (v9, n1, 1990), pp45-54.
31. J.F. Watson III and A.A. Desrochers, "Applying Generalized Stochastic Petri Nets to Manufacturing Systems Containing Nonexponential Transition Functions," IEEE Transactions on Systems, Man and Cybernetics (v21, n4, Sept./Oct. 1991).
32. K. Venkatesh et al., "Augmented Timed Petri Nets for Modeling, Simulation and Analysis of Robotic Systems with Breakdowns," Journal of Manufacturing Systems (v13, n4, 1994), pp289-301.
33. M.C. Zhou, F. DiCesare, and A.A. Desrochers, "A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems," IEEE Transactions on Robotics and Automation (v8, n3, June 1992), pp350-361.
34. M.C. Zhou, F. DiCesare, and D.L. Rudolph, "Design and Implementation of a Petri Net Based Supervisor for a Flexible Manufacturing System," Automatica (v28, n6, 1992), pp1199-1208.
35. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings of the IEEE (v77, n4, Apr. 1989), pp541-580.
36. P.A. Remy, A.H. Lewis, and V.Y. Jin, "On the Design of Distributed Organizational Structures," Technical Report LIDS-P-1581 (Cambridge, MA: Massachusetts Institute of Technology).
37. D. Tabak and A.H. Levis, "Petri Net Representation of Decision Models," IEEE Transactions on Systems, Man and Cybernetics (vSMC-15, n6, 1985), pp812-818.
38. F.Y. Wang, K.J. Kyriakopoulos, A. Tsolkas, and G.N. Saridis, "A Petri Net Coordinator Model for an Intelligent Mobile Robot," IEEE Transactions on Systems, Man and Cybernetics (v21, n4, Aug. 1991).
39. R.S. Sreenivas and B.H. Krogh, "On Petri Net Models of Infinite State Supervisors," IEEE Transactions on Automatic Control (v37, n2, Feb. 1992).
40. J.J. Farah, "The Planning Coordinator: A Design Architecture for Autonomous Error Recovery and Online Planning of Intelligent Tasks," Technical Report 134 (Troy, NY: Rensselaer Polytechnic Institute).
41. S. Ramaswamy and K.P. Valavanis, "Hierarchical Time-Extended Petri Nets (H-EPNs) Based Error Identification and Recovery for Hierarchical Systems," IEEE Transactions on Systems, Man and Cybernetics (Feb. 1996).
42. S. Ramaswamy, "Hierarchical Time-Extended Petri Nets for Integrated Control and Diagnostics of Multilevel Systems," PhD thesis (Lafayette, LA: Univ. of Southwestern Louisiana, Center for Advanced Computer Studies, Spring 1994).
43. M.D. Jeng and F. DiCesare, "A Review of Synthesis Techniques for Petri Nets with Applications to Automated Manufacturing Systems," IEEE Transactions on Systems, Man and Cybernetics (v23, n1, Jan. 1993), pp301-312.
44. V. Varadharajan, "A Petri Net Model for System Design and Refinement," Journal of Systems Software (v15, 1991), pp239-250.
45. S. Ramaswamy, K.P. Valavanis, and K.S. Barber, "Model Development of MIMO Nets: A H-EPN Based Approach," IEEE International Conference on Decision and Control, v1 (New Orleans: Dec. 1995), pp897-904.
46. G.N. Saridis, "Intelligent Robotic Control," IEEE Transactions on Automatic Control (vAC-28, n5, 1983).
47. K.P. Valavanis and G.N. Saridis, Intelligent Robotic Systems: Theory, Design and Applications (Kluwer Academic Publishers, 1992).
48. K.P. Valavanis, "On the Hierarchical Modeling Analysis and Simulation of Flexible Manufacturing Systems with Extended Petri Nets," IEEE Transactions on Systems, Man and Cybernetics (v20, n1, Jan./Feb. 1990), pp94-110.
49. G. Ciardo et al., "SPNP Users Manual - Version 4.0," Technical Report (Mar. 1994).
50. S.C. Bandinelli, A. Fuggetta, and C. Ghezzi, "Software Process Model Evolution in the SPADE Environment," IEEE Transactions on Software Engineering (v19, n12, Dec. 1993).
51. G. Ritcher and B. Maffeo, "Towards a Rigorous Interpretation of ESML - Extended Systems Modeling Language," IEEE Transactions on Software Engineering (v19, n2, Feb. 1993).
52. J.S. Ahn, S. Ramaswamy, and R.H. Crawford, "A Formalism for Modeling Engineering Design Processes," accepted for IEEE Transactions on Systems, Man and Cybernetics (July 1996).