Integrated Architectural Modeling of Real-Time Concurrent Systems with Applications in FMS 1
暂无分享,去创建一个
[1] Wang Youyi,et al. A TCPN model and deadlock avoidance for FMS jobshop scheduling and control system , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.
[2] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[3] Sung Joo Park,et al. OPNets: An object-oriented high-level Petri net model for real-time system modeling , 1993, J. Syst. Softw..
[4] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[5] Li-Chih Wang. The development of an object-oriented Petri net cell control model , 1996 .
[6] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[7] Antonio Camurri,et al. Petri net based process scheduling: A model of the control system of flexible manufacturing systems , 1993, J. Intell. Robotic Syst..
[8] F. Qadri,et al. Timed Petri nets for flexible manufacturing cell design , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.
[9] Giancarlo Mauri,et al. OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.
[10] T. Hawkins. International Journal of Production Research , 1962, Nature.
[11] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[12] Mauro Pezzè,et al. A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems , 1996 .
[13] James T. Lin,et al. A CTPN‐based scheduler for a flexible manufacturing cell , 1995 .
[14] MengChu Zhou,et al. Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..
[15] Enrico Vicario,et al. Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets , 1995, IEEE Trans. Software Eng..
[16] P. Palanque,et al. Cooperative objects: a concurrent, Petri-net based, object-oriented language , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.
[17] F. Frank Chen,et al. The state of the art in intelligent real-time FMS control: a comprehensive survey , 1996, J. Intell. Manuf..
[18] C LuckhamDavid,et al. Specification and Analysis of System Architecture Using Rapide , 1995 .
[19] David C. Luckham,et al. Three Concepts of System Architecture , 1995 .
[20] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[21] Gerald M. Knapp,et al. Modeling of automated storage/retrieval systems using petri nets , 1992 .
[22] Suresh K. Khator,et al. A survey of Petri net applications in modeling controls for automated manufacturing systems , 1994 .
[23] Mario van Vliet,et al. Analytical models for FMS design optimization: A survey , 1994 .
[24] Yi Deng,et al. Architecture-driven modeling of real-time concurrent systems with applications in FMS , 1999, J. Syst. Softw..