Introducing probabilities in Statecharts to specify reactive systems for performance analysis
暂无分享,去创建一个
Nandamudi Lankalapalli Vijaykumar | Solon Venâncio de Carvalho | Valéria Maria Barros de Andrade | Vakulathil Abdurahiman | N. Vijaykumar | S. Carvalho | Vakulathil Abdurahiman | Valéria Maria Barros de Andrade
[1] Amir Pnueli,et al. On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.
[2] Manjunath Kamath,et al. Chapter 5 Performance evaluation of production networks , 1993, Logistics of Production and Inventory.
[3] David Harel,et al. Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .
[4] Hisashi Kobayashi,et al. Modeling and analysis , 1978 .
[5] Graham K. Rand,et al. Logistics of Production and Inventory , 1995 .
[6] Gunter Bolch,et al. Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition , 1998 .
[7] K. Mani Chandy,et al. Computer Systems Performance Modeling , 1981 .
[8] T. Y. WilliamJ,et al. Numerical Methods in Markov Chain Modeling , 1992, Operational Research.
[9] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[10] Marco Ajmone Marsan,et al. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..
[11] Myron Hlynka,et al. Queueing Networks and Markov Chains (Modeling and Performance Evaluation With Computer Science Applications) , 2007, Technometrics.
[12] J. George Shanthikumar,et al. Jackson Network Models of Manufacturing Systems , 1994 .
[13] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[14] Yishai A. Feldman,et al. Algorithmics: The Spirit of Computing , 1987 .
[15] Solon V. Carvalho,et al. On Proposing Statecharts to Specify Performance Models , 2002 .
[16] Nandamudi Lankalapalli Vijaykumar. Statecharts: their use in specifying and dealing with performance models , 1999 .
[17] Robert B. Cooper. Introduction to Queuing Theory , 1990 .
[18] John A. Buzacott,et al. Stochastic models of manufacturing systems , 1993 .
[19] Igor N. Kovalenko,et al. Introduction to Queuing Theory , 1989 .
[20] Michael K. Molloy. Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.
[21] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[22] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[23] S. Fotopoulos. Stochastic modeling and analysis of manufacturing systems , 1996 .
[24] René David,et al. Petri nets for modeling of dynamic systems: A survey , 1994, Autom..
[25] J. R. Jackson. Networks of Waiting Lines , 1957 .
[26] Nico M. van Dijk. Queueing networks and product forms - a systems approach , 1993, Wiley-Interscience series in systems and optimization.