|
|
|
|
| LEADER |
00000cam a22000003 4500 |
| 001 |
EBOOKCENTRAL_ocn940283263 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr |n||||||||| |
| 008 |
160218s2016 xx o 000 0 eng d |
| 040 |
|
|
|a YDXCP
|b eng
|e pn
|c YDXCP
|d EBLCP
|d OCLCQ
|d MERUC
|d ZCU
|d ICG
|d OCLCO
|d OCLCA
|d OCLCF
|d OCLCQ
|d DKC
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCQ
|
| 019 |
|
|
|a 940438720
|
| 020 |
|
|
|a 9781119262107
|q (electronic bk.)
|
| 020 |
|
|
|a 1119262100
|q (electronic bk.)
|
| 020 |
|
|
|z 1848219911
|
| 020 |
|
|
|z 9781848219915
|
| 029 |
1 |
|
|a DEBBG
|b BV044060464
|
| 035 |
|
|
|a (OCoLC)940283263
|z (OCoLC)940438720
|
| 050 |
|
4 |
|a QA76.9.S88
|b A93 2015
|
| 082 |
0 |
4 |
|a 003
|q OCoLC
|2 23/eng/20230216
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Aubry, Jean-Francois.
|
| 245 |
1 |
0 |
|a Systems dependability assessment.
|
| 260 |
|
|
|a [Place of publication not identified] :
|b Iste Ltd,
|c 2016.
|
| 300 |
|
|
|a 1 online resource
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 505 |
0 |
|
|a Tabel of Contents; Title; Copyright; Introduction; PART 1: Short Review of Petri Net Modeling; Introduction to Part 1; 1 Autonomous Petri Nets; 1.1. Unmarked Petri nets; 1.2. Marking of a PN; 1.3. Dynamics of autonomous PNs; 2 Petri Nets and Event Languages; 2.1. Labeled PNs; 2.2. Example; 3 Comparison Petri Nets -- Finite State Automaton; 3.1. Language expression; 3.2. Building of the models; 3.3. Compactness of the model; 4 Some Extensions of Petri Nets; 4.1. PN with inhibitor arcs; 4.2. Timed PN; 4.3. Synchronized PN; 4.4. Timed synchronized PN; 4.5. Interpreted PN; 4.6. Colored PN.
|
| 505 |
8 |
|
|a Conclusion to Part 1PART 2: A Formal Approach to Risk Assessment; Introduction to Part 2; 5 Ontology-based Accidental Process; 5.1. Preliminary definitions; 5.2. Elementary entities: HSE and VTE; 5.3. Elementary situations and elementary events; 5.4. Conclusion; 6 Petri Net Modeling of the Accidental Process; 6.1. Elementary process; 6.2. Sequence of elementary processes; 6.3. Modeling the action of a safety barrier; 6.4. Modeling of a cumulative process; 6.5. PN as a support for risk assessment; 6.6. Conclusion; 7 Illustrative Example; 7.1. Functional description.
|
| 505 |
8 |
|
|a 7.2. Building of an accidental process7.3. Conclusion; 8 Design and Safety Assessment Cycle; 8.1. Five essential steps; 8.2. Ontological interest; Conclusion to Part 2; PART 3: Stochastic Petri Nets; Introduction to Part 3; 9 Basic Concept; 9.1. Introductory example; 9.2. Formal definition; 10 Semantics, Properties and Evolution Rules of an SPN; 10.1. Conservatism properties; 10.2. Mean sojourn time in a place of a SPN; 10.3. Equivalent Markov process; 10.4. Example of SPN for systems dependability modeling and assessment; 11 Simplification of Complex Models; 11.1. Introduction.
|
| 505 |
8 |
|
|a 11.2. System modeling11.3. Presentation of the quantitative analysis method; 11.4. Example; 12 Extensions of SPN; 12.1. Introduction; 12.2. Relationship between stochastic Petri nets and stochastic processes; 12.3. The transition firing policy; 12.4. Associated stochastic processes; 12.5. Synchronization problem in generalized stochastic Petri nets; 12.6. Conclusion; PART 4: Applications of Stochastic Petri Nets to Assessment Problems in Industrial Systems; Introduction to Part 4; 13 Application in Dynamic Reliability; 13.1. Presentation of the system and hypothesis.
|
| 505 |
8 |
|
|a 13.2. System modeling with Petri net13.3. Methodology application; 13.4. Construction of an aggregated Markov graph; 13.5. Conclusion; 14 Classical Dependability Assessment; 14.1. Availability study of a nuclear power plant subsystem; 14.2. Common causes failures in nuclear plants (safety oriented); 15 Impact of Failures on System Performances; 15.1. Reliability evaluation of networked control system; 15.2. Railway signaling; Conclusion; Appendix; A.1. Complements on Petri nets basics; Bibliography; Index; End User License Agreement.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a System design.
|
| 650 |
|
0 |
|a System analysis.
|
| 650 |
|
0 |
|a Petri nets.
|
| 650 |
|
2 |
|a Systems Analysis
|
| 650 |
|
6 |
|a Conception de systèmes.
|
| 650 |
|
6 |
|a Analyse de systèmes.
|
| 650 |
|
6 |
|a Réseaux de Pétri.
|
| 650 |
|
7 |
|a systems analysis.
|2 aat
|
| 650 |
|
7 |
|a Petri nets
|2 fast
|
| 650 |
|
7 |
|a System analysis
|2 fast
|
| 650 |
|
7 |
|a System design
|2 fast
|
| 776 |
0 |
8 |
|i Print version:
|a Aubry, Jean-Francois.
|t Systems dependability assessment.
|d [Place of publication not identified] : Iste Ltd, 2016
|z 1848219911
|z 9781848219915
|w (OCoLC)930662997
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=4406062
|z Texto completo
|
| 938 |
|
|
|a EBL - Ebook Library
|b EBLB
|n EBL4406062
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 12852094
|
| 994 |
|
|
|a 92
|b IZTAP
|
