IDEAS home Printed from https://ideas.repec.org/h/spr/ssrchp/978-3-030-64708-7_33.html
   My bibliography  Save this book chapter

Petri Net Modelling

In: Reliability Assessment of Safety and Production Systems

Author

Listed:
  • Jean-Pierre Signoret

    (Total Professeurs AssociƩs)

  • Alain Leroy

Abstract

The Petri net approach provides a powerful alternative when Boolean models/Markov graphs are no longer tractable due to the dynamic aspects/state number. Developed for automaton design purposes, it has been used in the dependability field since the early eighties as a Markov graph generator and, later on, as a Monte Carlo simulation support. Belonging to the state-transition models and based on graphic representation, PNs are easy to build and understand. After a description of the basic PNs, extensions are proposed (e.g. inhibitor arcs, predicates, assertions, memory, suspended events, priority). The modelling powerfulness is virtually endless. Associated with the huge computation speed nowadays available, this copes very well with Monte Carlo simulation. Clues to speed up the calculations are proposed. Techniques encompassing maintenance, spare part or common cause failure modelling are described. Calculations related to classical dependability (e.g. reliability, availability, frequency) and production availability are presented. Result accuracy and data uncertainty handling are analysed. PN modularization is explained and models based on reliability block diagrams, fault trees or flow diagrams (RBDs, FTs or FD-driven PNs/dynamic RBDs or FTs) are introduced: they provide the basis for designing user-friendly software interfaces. Considerations are given about coloured PNs. Exercises are provided in Chap. 34 .

Suggested Citation

  • Jean-Pierre Signoret & Alain Leroy, 2021. "Petri Net Modelling," Springer Series in Reliability Engineering, in: Reliability Assessment of Safety and Production Systems, chapter 0, pages 587-660, Springer.
  • Handle: RePEc:spr:ssrchp:978-3-030-64708-7_33
    DOI: 10.1007/978-3-030-64708-7_33
    as

    Download full text from publisher

    To our knowledge, this item is not available for download. To find whether it is available, there are three options:
    1. Check below whether another version of this item is available online.
    2. Check on the provider's web page whether it is in fact available.
    3. Perform a search for a similarly titled item that would be available.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:ssrchp:978-3-030-64708-7_33. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.