GB/T 43037-2023 Active National standards

GB/T 43037-2023 Analysis techniques for dependability—Petri net techniques

Publish Date: 2023-09-07 Implement Date: 2023-09-07 For services related to genuine standard inquiry, procurement, translation, and other related services in China, please Contact Us

Basic Information

Standard Code: GB/T 43037-2023

Standard Type: National standards

Standard Status: Active

is_force_gb: no

CCS Name: Reliability and maintainability

ICS Name: The characteristics and design of machines, devices, and equipment

Publish Date: 2023-09-07

Implement Date: 2023-09-07

Pages: 53 pages

Scope

This document presents a basic methodology for Petri nets aimed at achieving trustworthiness, supporting system modeling, model analysis, and providing analysis results. This methodology focuses on measuring all trustworthiness-related characteristics, such as reliability, availability, production availability, maintainability, and safety (e.g., Safety Integrity Level (SIL) related metrics). This document addresses the following Petri net-related issues: a) Defining basic terms and symbols, describing their usage and graphical representation methods; b) Outlining terms and their relationship to trustworthiness; c) Introducing specific methods, including: 1) Using Petri nets to establish trustworthiness models; 2) Conducting qualitative and quantitative trustworthiness analysis using Petri net-based techniques; 3) Interpreting and explaining analysis results. d) Outlining the relationship between Petri nets and other modeling techniques; e) Providing practical case studies. This document does not provide guidance on solving mathematical problems encountered during Petri net analysis. Relevant guidelines can be referenced in Literature [3] and [4]. This document is applicable to all industries requiring qualitative and quantitative trustworthiness analysis.