Make your Petri nets understandable: Reliability block diagrams driven Petri nets

Signoret, J.P.; Dutuit, Yves; Cacheux, Pierre-Joseph; Folleau, Cyrille; Collas, Stéphane; Thomas, Philippe

doi:10.1016/j.ress.2012.12.008

Cited by 67 publications

(42 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…1、Parallel model equivalence analysis service time [4] Performance expectations for equivalent service hours: …”

Section: Equivalent Business Hours Workflow Model Analysis Methodsmentioning

confidence: 99%

The simulation and research of the workflow modeling based on Petri nets

Guang-xue¹,

Guo²,

Wu³

2017

Proceedings of the 2017 7th International Conference on Advanced Design and Manufacturing Engineering (ICADME 2017)

View full text Add to dashboard Cite

It is very important for reasonable analysis of complex workflow model based on Petri nets. Based on the four basic models, the complex workflow model is simplified by equivalent layer. According to the equal servicing time formula of series model, parallel model and selection model, calculate the simplified the model and build simulation models. Analyze its reasonableness through the simulation and theoretical calculation Petri net model is primarily a tool to establish the relationship between the properties through the workflow task description, it has the advantage to be able to fully concurrent, discrete event attribute describes the dynamic aspects, through the use of a graphical description of the property of tools for modeling, combined with theoretical and mathematical definition, analysis and evaluation model algorithm aspects typical Petri nets have the following characteristics: first, it is a graphical modeling tool with an intuitive, easy to use the advantage, in the resource constraints or resource conflicts can concurrently visualize and describe resolve; secondly, it has the ability to describe mathematical modeling, information theory and stochastic process theory combined with the system uncertainty or randomness analysis.Activities in the process of implementation, depending on the execution order, the basic model defines four implementation process [1]:(1) the order of execution is also referred to as a serial execution: Figure 1 (a), a plurality of sub-order of tasks sequentially executed. If task A and B two tasks to perform, A task execution over again perform B tasks.(2) Select the execution order of execution is also known as a conditional branch: Figure 1 (c), first performed to judge the conditions, which determine the conditions set up on the implementation of the tasks performed which task, in accordance with the conditions of the priority the level of selective execution.(3) may also be referred to simultaneously perform parallel execution sequence: Figure 1 (b), the two tasks performed simultaneously or in any order, such as task C and task B is executed in parallel.(4) Repeat the cycle can also be called the order of execution: Figure 1 (d), each task as long as the condition is true, can be recycled repeatedly executed.

show abstract

“…1、Parallel model equivalence analysis service time [4] Performance expectations for equivalent service hours: …”

Section: Equivalent Business Hours Workflow Model Analysis Methodsmentioning

confidence: 99%

The simulation and research of the workflow modeling based on Petri nets

Guang-xue¹,

Guo²,

Wu³

2017

Proceedings of the 2017 7th International Conference on Advanced Design and Manufacturing Engineering (ICADME 2017)

View full text Add to dashboard Cite

show abstract

“…To illustrate, take a concrete example of the path (i.e., v 7 → v 6 → v 8 ). According to (13), we first need to determine the types of integral. In general, fuzzy integral includes Choquet integral (Marichal, 2000), Sugeno integral (Klement et al, 2010), and Weber integral (Tomaschitz, 2014).…”

Section: Systemmentioning

confidence: 99%

“…Based on this definition, there has been a steady move towards the systematical use of reliability theory and historical failure data to evaluate and further improve system reliability in the last few decades. These methods include, but are not limited to, fault tree analysis (FTA), reliability block diagram (RBD), binary decision diagrams (BDD), dynamic fault tree (DFT), Markov model, Petri net, and Bayesian method (e.g., [5][6][7][8][9][10][11][12][13][14][15][16][17]). However, selfdefects of the above approaches hinder their application in the CEMSs.…”

Section: Introductionmentioning

confidence: 99%

System Reliability Assessment Based on Failure Propagation Processes

2018

View full text Add to dashboard Cite

One or several component failures may lead to more related component malfunction and ultimately cause system reliability reduction. Based on this, we focus on the assessment system reliability of complex electromechanical systems (CEMSs) in a fault-propagation view. First, failure propagation model taking into consideration failure data based on network theory and improved polychromatic sets is proposed for system reliability evaluation. From the node point of view, system effectiveness index is constructed to investigate the variation of efficiency of the holistic network. Subsequently, from the system's perspective, system reliability measurement is provided and estimated in combination with system effectiveness index and failure propagation models. Finally, the application of proposed method to a bogie system of high-speed train assesses system reliability, and meanwhile, the effectiveness of the proposed method is able to be illustrated.

show abstract

“…Pk est la capacité potentielle, celle que pourrait avoir le composant si une condition externe (perte d'une utilité par exemple) ne l'avait pas mis dans l'état Stand-By. Chaque RdP est réalisé suivant les préconisations qui ont été définies par (Signoret et al, 2013). Un logiciel peut facilement dupliquer les RdP de chaque composant et défaillance de manière à générer un RdP complet du système avec ses ressources.…”

Section: Etats Des Composantsunclassified

“…Par la suite, il a été montré (Signoret et al, 2013) (Buvry at al., 2012) qu'une génération automatique de RdP était faisable à partir de blocs diagrammes. Cela a donné naissance aux RBD Driven Petri Net (RBD pour Reliability Block Diagram).…”

Section: Introductionunclassified

Méthode de calcul de la disponibilité de production des systèmes pétroliers multi-flux

Folleau¹,

Vinuesa²,

Collas³

2016

Congrès Lambda Mu 20 De Maîtrise Des Risques Et De Sûreté De Fonctionnement

Self Cite

View full text Add to dashboard Cite

RésuméCette communication présente une méthode de modélisation et de simulation de systèmes complexes et multi-flux élaborée. La solution développée, fortement connotée Oil & Gas a fortiori, traite aussi bien les comportements fonctionnels et dysfonctionnels des équipements et des systèmes que les contraintes opératoires, logistiques et environnementales. Notre méthode est basée sur la génération automatique de réseaux de Petri stochastiques à prédicats, et l'écriture de formules de propagation de flux. Cette génération est faite à partir d'un bloc diagramme, les résultats sont obtenus via une simulation de Monte Carlo sur le réseau de Petri généré, ce qui permet d'obtenir toutes les informations utiles sur le système. La finalité de ce travail ainsi que celle de l'outil de modélisation associé est de travailler avec rapidité et flexibilité afin de constituer un outil d'aide à la décision plus efficace aussi bien en phase de conception générale d'un projet qu'en phase d'ingénierie de détail. SummaryThis article presents a method for modelling and simulating complex and multi-flow systems. This method is oil and gas related, it handles both functional and dysfunctional behaviours of a system and its logistics support. Our method is based on generation of Petri Nets (PN) with predicates and flow propagation formula. They are automatically generated from a bloc diagram modelling. Results are given thank to a Monte Carlo simulation on the PN, it provides useful information about the system. The objective was to offer a fast, flexible modelling tool (and method) that can provide an efficient decision-making aid for general design and detailed engineering phases of a project.

show abstract

Make your Petri nets understandable: Reliability block diagrams driven Petri nets

Cited by 67 publications

References 9 publications

The simulation and research of the workflow modeling based on Petri nets

The simulation and research of the workflow modeling based on Petri nets

System Reliability Assessment Based on Failure Propagation Processes

Méthode de calcul de la disponibilité de production des systèmes pétroliers multi-flux

Contact Info

Product

Resources

About