XenSource Inc., “Xen Architecture Overview”, White paper, [Online]. Available: http://www.pdfio.com/k-461078.html
Yaozu Dong et. All, “Extending Xen with Intel Virtualization Technology”, Intel Technology Journal, Vol. 10, Issue 3, ISSN: 1535-864X, Aug. 2006.
Ian Pratt, “Xen Status Report”, Description and status report on the Xen 3.0 development, University of Cambridge, April 2005.
Fengzhe Zhang, Jin Chen, Binyu Zang, “CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization”, Proceedings of Symposium on Operating Systems Principles (SOSP-2011), Cascais, Portugal, October 2011.
Diwaker Gupta, Ludmila Cherkasova, Rob Gardner, Amin Vahdat, “Enforcing Performance Isolation Across Virtual Machines in Xen”, Proceedings of the 7th ACM/IFIP/USENIX Middleware Conference. Melbourne, Australia, Nov. 2006.
Zhikui Wang, Xiaoyun Zhu, Pradeep Padala, Sharad Singhal, “Capacity and Performance Overhead in Dynamic Resource Allocation to Virtual Containers”, In the proceedings of the IFIP/IEEE Symposium on Integrated Management (IM’2007).
Pradeep Padala, Xiaoyun Zhu, et al., “Automated Control of Multiple Virtualized Resources”, In the proceedings of the EuroSys 2009.
Timothy Wood, Prashant Shenoy, Arun Venkataramani, Mazin Yousif, “Black-box and Gray-box Strategies for Virtual Machine Migration”, Proceedings of the Fourth Symposium on Networked Systems Design and Implementation (NSDI), Cambridge, MA, April 2007.
VMware, “VMware Infrastructure Architecture Overview”, White paper, VMware, Inc., 2006
Vmware, “Introduction to VMware vSphere”, VMware Inc., White paper, EN-000102-00, 2009.
Vmware, “vSphere Availability Guide”, VMware Inc., White paper, EN-000108-03, 2009-2011.
VMware, “VMware Virtual Networking Concepts”, Information guide, VMware Inc., Revision: 20070718 Item: IN-018-INF-01-01, 2007.
VMware, “SAN System Design and Deployment Guide, third Edition”, Cookbook, VMware Inc., May 2010.
Nikhil Bhatia et al., “VMware vCenter Server Performance and Best Practices”, Performance study, EN-000435-00, VMware Inc., 2010.
VMware, “Best Practices for VMware ESX Server 3”, White paper, VMware Inc., Revision: 20060605 Item: ESX-ENG-Q206-236, 1998.
Iwan Rahabok, “Private Cloud, Sample Architectures”, VMware Inc., Singapore, Mar. 2011.
Warren Ponder, Fred Schimscheimer , John Dodge, “VMware View, A Guide to Large-scale Enterprise VMware View 3 and VMware View 4 Deployments”, Reference architecture, VMware Inc., Revision: 20070719 Item: TBD-D1, 2010.
VMware, “Architecture Brief: The Brocade Data Center Fabric Reference Architecture for VMware vSphere 4”, Architecture brief, Brocade Inc., 2009.
VMware, “VMware ESX and VMware ESXi”, Product datasheet, VMware Inc., Item No: VMW_09Q3_DS_ESX_ESXi_USLET_EN_P6_R4, 2009.
VMware, “VMware VMotion and CPU Compatibility”, Information guide, VMware Inc., Revision 20080609 Item: EN-000039-00, 2008.
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein, “Introduction to Algorithms”, MIT press, ISBN: ۹۷۸-۰-۲۶۲-۰۳۳۸۴-۸, ۱۹۹۰٫
VMware, “Virtualization Infrastructure”, Tutorial, VMware Inc.,
Cisco, VMware, “VMware Infrastructure 3 in a Cisco Network Environment”, DCisco Systems, Inc., OL-16503-01, 2008.
Sreekanth Setty, “VMware Network I/O Control: Architecture, Performance and Best Practices”, Technical white paper, VMware Inc., Item No: VMW_10Q3_WP_NETIOC_BESTPRACTICES_p34__A_R2, 2010.
Miryam Barad, “TIMED PETRI NETS AS A VERIFICATION TOOL”, IEEE WSC ‘98 Proceedings of the 30th conference on Winter simulation, ISBN:0-7803-5134-7, 1998.
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier, “Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences”, Information and Computation, 206(1):73—۱۰۷, ۲۰۰۸٫
Peter J. Haas , “Stochastic Petri Nets: Modelling, Stability, Simulation”, Springer-Verlag, ISBN 0-387-95445-7, 2002.
-
- Ajmone Marsan, “STOCHASTIC PETRI NETS: AN ELEMENTARY INTRODUCTION”, SperingerLink, Advances in Petri Nets, Lecture Notes in Computer Science, Volume 424/1990, 1-29, DOI: 10.1007/3-540-52494-0_23, 1989
Fritz Krückeberg, Michael Jaxy, “Mathematical methods for calculating invariants in Petri nets”, SpringerLink, Advances in Petri Nets, Lecture Notes in Computer Science, Volume 266/1987, 104-131, DOI: 10.1007/3-540-18086-9_22, 1987.
-
- Sifakis, “Use of Petri nets for Performance Evaluation”,
۳rd Intl. Symposium on Modeling and Evaluation, IFIP, North Holland, pp. 75-93, 1977.
- Sifakis, “Use of Petri nets for Performance Evaluation”,
پیوست: مجموعه کامل مدل های پتری طراحی شده در پایان نامه
مدل پتری طراحی شده برای دیتا سنتر نمونه
مدل پتری نحوه کار سرویس HA
مدل پتری نحوه کار سرویس Fault Tolerance