Accelerating Petri-Net simulations using NVIDIA Graphics Processing Units

Yianni, Panayioti C.; Neves, Luís; Rama, Dovile; Andrews, John

doi:10.1016/j.ejor.2017.06.068

Cited by 7 publications

(6 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Determination of the distribution of time to reach a degradation state requires significant amount of data which may be difficult to acquire in practice. Yianni et al (2018) proposed a method to accelerate the speed of PNs by taking advantage of the power of graphic units. Until these barriers are removed, a wide scale of applications of PNs outside laboratories seems still far away.…”

Section: Statistical Modelling On Track Degradationmentioning

confidence: 99%

A simulation-based LCC model for railway track

Li¹,

Dwight²

2021

Proc. Of the 11th IMA International Conference on Modelling in Industrial Maintenance and Reliability

View full text Add to dashboard Cite

Because of the complexities of the railway track system compositions and their degradation mechanisms, the existing models built for relevant LCC estimation are either too simplified or focused on a part of the system. In this paper, a simulationbased model is proposed which is to incorporate all of the major track components such as rail, ballast and sleepers. A cost breakdown methodology is adopted to estimate the cost on a component-by-component and activity-by-activity basis. The interactions of track components and between maintenance and track components can be considered during the simulation process. Some activities whose implementation is purely experience-based can be loosely added as extra cost elements by disregarding its connection with other activities. Though attempting to embrace all, the simulationbased model is still considered easier to implement and potentially faster to run compared to the more complex and probably more powerful models including the Petri-Net models: the tools for its development are readily available. Apart from that, only knowledge on Monte Carlo simulation is required. In addition to providing a tool for the planning of maintenance actions, the model may also be used to evaluate different track form options. By replacing the simulation-based models with parametric models or limiting the focus to one or several track components, the model can be simplified conveniently.

show abstract

Section: Statistical Modelling On Track Degradationmentioning

confidence: 99%

A simulation-based LCC model for railway track

Li¹,

Dwight²

2021

Proc. Of the 11th IMA International Conference on Modelling in Industrial Maintenance and Reliability

View full text Add to dashboard Cite

show abstract

“…The parameter values that maximize the value of the likelihood function are found by taking the logarithm of this function and, then, setting the partial derivative of the log-linear equation for each parameter equal to zero [46], as shown in the following equation: The type of distribution that is used to represent a given phenomenon depends on the phenomenon's nature. In the field of reliability, the Weibull distribution is very popular for representing asset lifetimes, as well as to model degradation processes [47,48]. A lognormal distribution, on the other hand, is used to model continuous random quantities when the distribution is believed to be skewed, such as the time to repair equipment and lifetime variables [49].…”

Section: Gspn Model For the Cooling Towermentioning

confidence: 99%

Maintenance Strategy Optimization of a Coal-Fired Power Plant Cooling Tower through Generalized Stochastic Petri Nets

et al. 2019

View full text Add to dashboard Cite

Determining the ideal size of maintenance staff is a daunting task, especially in the operation of large and complex mechanical systems such as thermal power plants. On the one hand, a significant investment in maintenance is necessary to maintain the availability of the system. On the other hand, it can significantly affect the profit of the plant. Several mathematical modeling techniques have been used in many different ways to predict and improve the availability and reliability of such systems. This work uses a modeling tool called generalized stochastic Petri net (GSPN) in a new way, aiming to determine the effect that the number of maintenance teams has on the availability and performance of a coal-fired power plant cooling tower. The results obtained through the model are confronted with a thermodynamic analysis of the cooling tower that shows the influence of this system’s performance on the efficiency of the power plant. Thus, it is possible to determine the optimal size of the repair team in order to maximize the plant’s performance with the least possible investment in maintenance personnel.

show abstract

“…Because the workflow net model is not changed frequently on orbit, it may be beneficial to hold the structure of the model in constant memory [18]. Reading data from texture or surface memory instead of global memory can have several performance benefits.…”

Section: B Data Layout Of Workflow Netmentioning

confidence: 99%

“…Workflow net models are treated as graph data processed with vertex-centric model which is shown in [15], [16]. As workflow net is a subclass of petri net, the input matrix and output matrix of workflow net model [17] and the related intermediate results are stored in texture memory and surface memory of GPU for high performance accessing as it is suggested in [18]. A single observed event (or multiple observed events) is captured by CPU and is sent to GPU.…”

Section: Introductionmentioning

confidence: 99%

On-Orbit Event-Based Conformance Checking Using GPU

2019

IEEE Access

View full text Add to dashboard Cite

In the past few years, China's space science and application has entered the stage of the space station with large-scale space science experiments. The number of flight missions related to space science grows rapidly, meanwhile, the corresponding payloads from various fields of science become more complicated. This paper breaks through the traditional management mode in which the payloads of space science are usually monitored by space-ground telemetry links and proposes an approach to utilize workflow net models to monitor the experimental processes of on-orbit payloads in real time. This approach can effectively offload the pressure of space-ground communication as well as the pressure of ground monitor stations. In this approach, spectral graph clustering is used in decomposing a workflow net model when the model is too huge to be processed in parallel on one single GPU (graphic processing units) device, and hybrid parallel computing algorithms are designed to carry out conformance checking operations based on observed events from on-orbit payloads in real time. The algorithms are implemented with a gatherapply-scatter model in CUDA 9.0 (compute unified device architecture) on Jetson TX2i module and are benchmarked. The performance of the algorithms is acceptable for practical use on orbit. INDEX TERMS Petri nets, parallel processing, parallel algorithms, partitioning algorithms, network theory (graphs).

show abstract

Accelerating Petri-Net simulations using NVIDIA Graphics Processing Units

Cited by 7 publications

References 27 publications

A simulation-based LCC model for railway track

A simulation-based LCC model for railway track

Maintenance Strategy Optimization of a Coal-Fired Power Plant Cooling Tower through Generalized Stochastic Petri Nets

On-Orbit Event-Based Conformance Checking Using GPU

Contact Info

Product

Resources

About