A Petri Net-Based Approach to the Quantification of Data Center Dependability

QR Code

A Petri Net-Based Approach to the Quantification of Data Center Dependability

None

Saved in:

Bibliographic Details
Main Authors:	Callou, Gustavo, Maciel, Paulo, Tutsch, Dietmar, Araújo, Julian, Ferreira, João, Souza, Rafael
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/38510
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Boolean Petri Nets
by: Kansal, Sangita, et al.
Published: (2012)

Timed Petri Nets
by: Silva, José Reinaldo, et al.
Published: (2012)

Grammars Controlled by Petri Nets
by: Dassow, J., et al.
Published: (2012)

Construction and Application of Learning Petri Net
by: Feng, Liangbing, et al.
Published: (2012)

Petri net theory and the modeling of systems
by: Peterson, James Lyle
Published: (1981)

Control Interpreted Petri Nets - Model Checking and Synthesis
by: Grobelna, Iwona
Published: (2012)

Timed Petri Nets in Performance Exploration of Simultaneous Multithreading
by: Zuberek, Wlodek M.
Published: (2012)

Performance Evaluation of Timed Petri Nets in Dioid Algebra
by: Hamaci, Samir, et al.
Published: (2012)

Automated Petri-Net Modelling for Batch Production Scheduling
by: Gradišar, Dejan, et al.
Published: (2012)

State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets
by: El-Sattar, Hussein Karam Hussein Abd
Published: (2012)

A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets
by: Heidari, Parisa, et al.
Published: (2012)

Reachability Criterion with Sufficient Test Space for Ordinary Petri Net
by: Lee, Gi Bum, et al.
Published: (2012)

Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems
by: Labadi, Karim, et al.
Published: (2012)

SIMULATOR MODEL OF ORDER SERVICE SYSTEM OF THE COMMUNICATION OPERATOR BASED ON THE PETRI NET
by: V. P. Mochalov, et al.
Published: (2022-08-01)

Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems
by: Martiník, Ivo
Published: (2012)

Implementation of Distributed Control Architecture for Multiple Robot Systems Using Petri Nets
by: Yasuda, Gen'ichi
Published: (2012)

Using Timed Coloured Petri Nets for Modelling, Simulation and Scheduling of Production Systems
by: Bozek, Andrzej
Published: (2012)

Research and Application of Water Security Evaluation Model Based on Improved Petri Net
by: Sun Zhengchuan, et al.
Published: (2025-01-01)

Measurement of Work-in-Process and Manufacturing Lead Time by Petri Nets Modeling and Throughput Diagram
by: Facchin, Tiago, et al.
Published: (2012)

Research on state monitoring and diagnosis models for multi-state systems based on Petri nets
by: Haohao Liu, et al.
Published: (2025-09-01)

Real-Time Petri Net Based Control System Design for Distributed Autonomous Robotic Manufacturing Systems
by: Yasuda, Gen'ichi
Published: (2012)

Quantification of Laser Polarization by Position Dependent Refractive Indices
by: Parc, Yong Woon, et al.
Published: (2011)

Iterative Configuration of T-Timed Colored Petri Nets by a MILP Model for Rail Freight Volume and Rolling Stock Planning
by: Grazielle F. da Silva, et al.
Published: (2025-01-01)

Dual U-Net with multi-task attention for automated eyelid curvature quantification
by: Jimei Wu, et al.
Published: (2025-07-01)

Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations
by: Mazigh, Belhassen, et al.
Published: (2012)

SulfideNet: Deep Learning for Detection and Quantification of Iron Sulfides in Drill Core Scans
by: Maral Rasoolijaberi, et al.
Published: (2025-01-01)

Fluid Stochastic Petri Nets: From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks
by: Mitrevski, Pece, et al.
Published: (2012)

PN2ARDUINO - A New Petri Net Software Tool For Control Of Discrete-event And Hybrid Systems Using Arduino Microcontrollers
by: Erik Kučera, et al.
Published: (2019-09-01)

Distributed data applications with ASP.NET. /
by: Homer, Alex ; Sussman, David
Published: (2004)

Methods for Detection and Quantification of Aflatoxins
by: Espinosa-Calderón, Alejandro, et al.
Published: (2011)

Human Tremor: Origins, Detection and Quantification
by: Andrade, Adriano O., et al.
Published: (2013)

The Quantification of Crystalline Phases in Materials: Applications of Rietveld Method
by: Kniess, Cláudia T., et al.
Published: (2012)

Entomobrya petri sp. nov.: A new species of springtail found in the British Isles
by: James McCulloch
Published: (2025-08-01)

Quantification of weekly strength-training volume per muscle group in competitive physique athletes
by: Thiago Beraldo da Silveira, et al.
Published: (2025-07-01)

Uncertainty Quantification and Assimilation Method Based on Evaluated Nuclear Data Sampling Method
by: HUANG Yihan, ZU Tiejun, LIU Zhengming, CAO Liangzhi, WU Hongchun
Published: (2025-06-01)

Convex Set Approaches for Material Quantification in Hyperspectral Imagery
by: Valdiviezo-N, Juan C., et al.
Published: (2012)

Determination of Nutrients, Biomass, and Bacterial Quantification in Different Mangroves Sites: A Comparative Study on Nutrients Dependent Biomass Production
by: Sadar Aslam, et al.
Published: (2025-07-01)

Woven Fabrics Surface Quantification
by: Militký, Jiří
Published: (2012)

Quantification in X-Ray Fluorescence Spectrometry
by: Sitko, Rafał, et al.
Published: (2012)

Uncertainty quantification for overshoots of tipping thresholds
by: K. Lux-Gottschalk, et al.
Published: (2025-07-01)