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

Jean-Pierre Signoret, Yves Dutuit, Pierre-Joseph Cacheux, Cyrille Folleau, Collas, Stéphane and Philippe Thomas

Reliability Engineering and System Safety, 2013, vol. 113, issue C, 61-75

Abstract: For more than 30 years, the Petri nets (PNs) have proven to be very powerful for safety/dependability modeling and calculations. The number of publications is increasing and a standard is even going to be issued soon. Nevertheless, the dissemination is slow and the PNs are not yet commonly used by reliability engineers. As a matter of fact, the current PNs are often intricate and difficult to understand even if, in reality, they model simple systems. This is discouraging both for the PN designers and the PN readers and this is certainly one of the causes impeding the dissemination of this approach. Hopefully, some simple additional graphical rules can be easily implemented to undertake the PN modeling of large industrial systems while keeping the readability and the understandability all along the building process. The aim of this publication is to deal with the graphical aspects of Petri nets and it proposes first some very simple tricks and guidelines to structure and improve the drawing of standard PNs. It explains how the introduction of predicates and assertions allows developing modules (i.e., generic sub-PNs) in order to build the PNs in a modular way. Then it shows how reliability block diagrams (respectively flow diagrams) may be used as guidelines to build large PNs by using the above modules. It describes the RBD driven PNs which are very effective to model safety systems (e.g. safety instrumented systems) and explains how to extend them to the flow diagram (FD) driven PNs which allow to undertake simplified production availability modeling and calculations.

Keywords: Petri nets; Reliability block diagrams; Flow diagram; Predicate; Assertion; SIS (search for similar items in EconPapers)
Date: 2013
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (12)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832012002645
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:113:y:2013:i:c:p:61-75

DOI: 10.1016/j.ress.2012.12.008

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().