Architecture-driven modeling of real-time concurrent systems with applications in FMS

Journal of Systems and Software

Volumn 45, Issue 1, 1999, Pages 61-78

  Deng, Yi ^a   Yang, Chia Rung ^a  

^a The Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONCURRENCY CONTROL; FLEXIBLE MANUFACTURING SYSTEMS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; REAL TIME SYSTEMS;

NET-BASED AND OBJECT-BASED ARCHITECTURAL MODEL (NOAM);

COMPUTER AIDED MANUFACTURING;

EID: 0033079434     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(98)10068-7     Document Type: Article

References (37)

1. Baldassari M., Bruno G. PROTOB: An object-oriented methodology for developing discrete event dynamic systems. Computer Language. 16(1):1991;39-63.
2. Bastide, R., Sibertin-Blanc, C., Palanque, P., 1993. Cooperative Objects: A concurrent Petri net-based object-oriented language. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 286-291.
3. Battiston, E., De Cindio, F., Mauri, G., 1988. OBJSA nets: A class of high-level Petri nets having objects as domains. In: Rozemberg G. (Ed.), Advances in Petri nets '88, vol. 340, Lecture Notes on Computer Science, Springer, 1988, pp. 20-43.
4. Berthomieu, 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., Vallckenaers P. Modeling flexible manufacturing systems based on Petri nets. Annals of the CIRP. 42(1):1993;479-484.
6. Bucci G., Vicario E. Compositional validation of time-critical systems using communicating time Petri nets. IEEE Transactions on Software Engineering. 21(12):1995;969-991.
7. Camurri A., Franchi P., Gandolfo F., Zaccaria R. Petri net based process scheduling: a model of the control system of flexible manufacturing systems. Journal of intelligent and Robotic Systems. 8:1993;99-123.
8. Deng, Y., Du, W., Attie, P.C., Evangelist, M., 1996. A formalism for architectural modeling of distributed real-time systems. Proceedings of 8th International Conference on Software Engineering and Knowledge Engineering. Lake Tahoe, Nevada, pp. 408-417.
9. Deng, Y., Lu, S., Evangelist, M., 1997. A formalism for Architectural modeling and prototyping of distributed real-time systems. Proceedings of the 30th Hawaii International Conference on Systems Science, Maui, Hawaii.
10. Du, W., Deng, Y., 1995. Formal notation of NOAM. Technical Report. School of Computer Science, Florida International University, Miami, FL.
11. D'souza K.A., Khator S.K. A survey of Petri net applications in modeling controls for automated manufacturing systems. Computers in Industry. 24:1994;5-16.
12. Elmaraghy H.A., Ravi T. Modern tools for the design, modeling and evaluation of flexible manufacturing systems. Robotics & Computer-Integrated Manufacturing. 9(4):1992;335-340.
13. Engelfriet, J., Leih, G., Rozenberg, G., 1990. Net-based description of parallel object-based systems, or POTs and POPs. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (Eds.), Foundations of Object-Oriented Languages, vol. 489, Lecture Notes on Computer Science, Spinger, Berlin, pp. 229-273.
14. Greenwood, N.R., 1988. Implementing Flexible Manufacturing Systems. Halsted Press, New York.
15. Genrich H.J., Lautenbach K. System modelling with high-level Petri nets. Journal of Theoretical Compute Science. 13:1981;109-136.
16. Ghezzi C., Mandrioli D., Morasca S., Pezze M. A unified high-level Petri net formalism for time-critical systems. IEEE Trans. of Software Engineering. 17(2):1991;160-171.
17. Huang H.P., Chang P.C. Specification, modeling and control of a flexible manufacturing cell. International Journal of Production Research. 30(11):1992;2515-2543.
18. Jensen, K., 1992. Coloured Petri Nets, vol. 1. Springer, Berlin.
19. Knapp G.M., Wang H.P. Modeling of automated storage/retrieval systems using Petri nets. Journal of Manufacturing Systems. 11(1):1992;20-29.
20. Lee Y.K., Park S.J. OPNets: an object-oriented high-level Petri net model for real-time system modeling. Journal of Systems Software. 20(1):1993;69-86.
21. Lin J.T., Lee C.C. A CTPN-based scheduler for a flexible manufacturing cell. Journal of the Chinese Institute of Engineers. 18(5):1995;655-672.
22. Looveren, A.J., Gelders, L.F., Wassenhove, V., 1986. A review of FMS planning models. In: Andrew K. (Ed.), Modelling and Design of Flexible Manufacturing Systems. pp. 3-31.
23. Luckham D.C., Kenny J.J., Augustin L.M., Vera J., Bryan D., Mann W. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering. 21(4):1995;336-355.
24. Luckham, D.C., Vera, J., Meldal, S., 1995. Three concepts of system architecture. Technical Report. Stanford University.
25. Martinez, J., Alla, H., Silva, M., 1986. Petri nets for the specification of FMSs. In: Andrew K. (Ed.), Modelling and Design of Flexible Manufacturing Systems. pp. 389-406.
26. Meng, J., Soh, Y.C., 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, pp. 521-532.
27. Merlin, P., Faber, D.J., 1976. Recoverability of communication protocols. IEEE Transactions on Communication COM-24 (9).
28. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE. 77(4):1989;541-580.
29. Palaudetto M., Raymond S. A methodology based on objects and Petri nets for development of real-time software. Proceedings of the IEEE International Conference on systems. Man and Cybernetics. 2:1993;701-710.
30. Qadri, F., Robbi, A., 1994. Timed Petri nets for flexible manufacturing cell design. IEEE International Conference on Systems, Man, and Cybernetics. Texas, pp. 1695-1699.
31. Shukla, C.S., Chen, F.F. The state-of-the-art in intelligent real-time FMS control: a comprehensive survey. Journal of Intelligent Manufacturing, to appear in 1997.
32. Solot P., Vliet M.V. Analytical models for FMS design optimization: A Survey. International Journal of Flexible Manufacturing Systems. 6(3):1994;209-233.
33. Wang L.-C. The development of an object-oriented Petri net cell control model. International Journal on Advanced Manufacturing Technology. 11:1996;59-69.
34. 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, pp. 2142-2147.
35. Zhou M.C., Dicesare F., Rudolph D.L. Design and implementation of a Petri Net based supervisor for a flexible manufacturing system. Automatica. 28(6):1992;1199-1208.
36. Zhou M.C., McDermott K., Patel P.A. Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on System, Man, and Cybernetics. 23(2):1993;523-531.
37. Zhou Q., Wang M., Dutta S.P. Generation of optimal control policy for flexible manufacturing cells: a Petri net approach. International Journal of Advanced Manufacturing technology. 10:1995;59-65.