Incremental modeling and verification of flexible manufacturing systems

Journal of Intelligent Manufacturing

Volumn 10, Issue 6, 1999, Pages 485-502

  Wang, Jiacun ^a   Deng, Yi ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL SYSTEMS; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; MATHEMATICAL MODELS; PETRI NETS; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); TREES (MATHEMATICS);

REAL TIME COMPUTATIONAL TREE LOGIC (RTCTL); TIME PETRI NETS (TPN);

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0033337307     PISSN: 09565515     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008952519552     Document Type: Article

References (31)

1. Baldasssri, M. and Bruno, G. (1991) Protob: An object-oriented methodology for developing discrete event dynamic systems. Computer Language, 16(1), 39-63.
2. Bastide, R., Blanc, C. and Palanque, P. (1993) Cooperative objects: A concurrent Petri-net based, objected-oriented language, in Proceedings of the IEEE International Conference on System, Man and Cybernetics, 3, 286-291.
3. Battiston, E., Cindio, F. and Mauri, G. (1988) Objsa nets: A class of high-level nets having objects as domains, in Advances in Petri Nets, Lecture Notes on Computer Science, 340, 20-43.
4. Berthomieu, B. and Diaz, M. (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 17(3), 259-273.
5. Brussel, H. V., Peng, Y. and Vallckenaers, P. (1993) Modeling flexible manufacturing systems based on Petri nets. Annals of the CIRP, 42(1), 479-484.
6. Bucci, G. and Vicario, E. (1995) Compositional validation of time-critical systems using communicating time Petri nets. IEEE Transactions on Software Engineering, 21(12), 969-992.
7. 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. Journal of intelligent and Robotic Systems, 8, 99-123.
8. Deng, Y. and Yang, C. (1999) Architecture-driven modeling of real-time concurrent systems with application in FMS. Journal of Systems and Software 45, 61-78.
9. Deng, Y., Wang, J. and Sinha, R. K. (1997) Integrated Architectural Modeling of Real-Time Concurrent Systems with Applications in FMS, Technical Report, School of Computer Science, Florida International University.
10. D'souza, K. A. and Khator, S. K. (1994) A survey of Petri net applications in modeling controls for automated manufacturing systems. Computers in Industry, 24, 5-16.
11. Elmaraghy, H. A. and Ravi, T. (1992) Modern tools for the design, modeling and evaluation of flexible manufacturing systems. Robotics & Computer-Integrated Manufacturing, 9(4), 335-340.
12. Emerson, E. A., Mok, A. K., Sistla, A. P. and Srinivasian, J. (1992) Quantitative temporal reasoning. Real-Time Systems, 4, 331-352.
13. Huang, H. P. and Chang, P. C. (1992) Specification, modeling and control of a flexible manufacturing cell. International Journal of Production Research, 30(11), 2515-2543.
14. Knapp, G. M. and Wang, H. P. (1992) Modeling of automated storage/retrieval systems using Petri nets. Journal of Manufacturing Systems, 11(1), 20-29.
15. Lee, Y. and Park, S. (1993) Opnets: An object-oriented high-level Petri net model for real-time systems. Journal of Systems & Software, SE-13(3), 69-86.
16. Lin, J. T. and Lee, C. C. (1995) ACTPN-based scheduler for a flexible manufacturing cell. Journal of the Chinese Institute of Engineers, 18(5), 655-672.
17. Luckham, D. C., Kenny, J. J., Augustin, L. M., Vera, J., Bryan, D. and Mann, W. (1995) Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4), 336-355.
18. Luckham, D. C., Vera, J. and Meldal, S. (1995) Three concepts of system architecture, Technical Report, Stanford University.
19. Mandrioli, D., Morzenti, A., Pezze, M., Pietro P. S. and Silva, S. (1995) A Petri net and logic approach to the specification and verification of real time systems, in Formal Methods for Real time Computing, Heitmeyer, C. and Mandrioli, D. (eds.), John Wiley & Sons Ltd.
20. Meng, J., Soh, Y. C. and Wang, Y. (1995) A TCPN model and deadlock avoidance for FMS jobshop scheduling and control system. IEEE International Workshop on Emerging Technologies and Factory Automation, Paris France, 521-532.
21. Murata, T. Petri nets: Properties, analysis and applications. Proceedings of IEEE, 77(4).
22. Pnueli, A. (1977) The temporal logic of programs. Proceedings of 18th Annual IEEE Symposium on Foundations of Computer Science, 46-57.
23. Qadri, F. and Robbi, A. (1994) Timed Petri nets for flexible manufacturing cell design. IEEE International Conference on Systems, Man and Cybernetics, Texas, 1695-1699.
24. Shukla, C. S. and Chen, F. F. (1996) The state-of-the-art in intelligent real-time FMS control: a comprehensive survey. Journal of Intelligent Manufacturing 7(6), 441-456.
25. Sloan, R. and Buy, U. (1996) Reduction rules for time Petri nets. Acta Informatica, 33, 687-706.
26. Solot, P. and Vliet, M. V. (1994) Analytical models for FMS design optimization: A survey. International Journal of Flexible Manufacturing Systems, 6(3), 209-233.
27. Wang, L.-C. (1996) The development of an object-oriented Petri net cell control model. International Journal on Advanced Manufacturing Technology, 11, 59-69.
28. Zhou, M. C., Dicesare, F. and Rudolph, D. L. (1992) Design and implementation of a Petri net based supervisor for a flexible manufacturing system. Automatica, 28(6), 1199-1208.
29. Zhou, M. C., McDermott, K. and Patel, P. A. (1993) Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on System, Man and Cybernetics, 23(2), 523-531.
30. Zhou, Q., Wang, M. and Dutta, S. P. (1995) Generation of optimal control policy for flexible manufacturing cells: a Petri net approach. International Journal of Advanced Manufacturing technology, 10, 59-65.
31. Zuberek, W. M. (1995) Schedules of flexible manufacturing cells and their timed colored Petri net models. IEEE International Conference on Systems, Man and Cybernetics, New York, 2142-2147.