ДСТУ ISO/IEC 15909-1:2016 Инженерия программных средств и систем. Высокоуровневые сети Петри. Часть 1. Концепции, определения понятий и графические обозначения (ISO/IEC 15909-1:2004, IDT)

ПІДТВЕРДЖУВАЛЬНЕ ПОВІДОМЛЕННЯ

Державне підприємство
«Український науково-дослідний і навчальний центр
проблем стандартизації, сертифікації та якості»
(   
(ДП «УкрНДНЦ»))

Наказ від 07.10.2016 № 306

ISO/IEC 15909-1:2004

Systems and software engineering — High-level Petri nets —
Part 1: Concepts, definitions and graphical notation

прийнято як національний стандарт
 методом «підтвердження» за позначенням
 

ДСТУ ISO/IEC 15909-1:2016
(ISO/IEC 15909-1:2004, IDТ)

Інженерія програмних засобів і систем. Високорівневі мережі Петрі.
Частина 1. Концепції, визначення понять та графічні познаки

З наданням чинності від 2016-10-10

Contents

Foreword

Introduction

1 Scope

1.1 Purpose

1.2 Field of Application

1.3 Audience

2 Terms, Definitions, Abbreviations and Symbols

2.1 Glossary

2.2 Abbreviations

3 Conventions and Notation

4 Semantic Model for High-level Petri Nets

4.1 Definition

4.2 Marking of HLPN

4.3 Enabling of Transition Modes

4.4 Transition Rule

5 Concepts Required for High-level Petri Net Graphs

5.1 Introduction

5.2 High-level Petri Net Graph Components

5.3 NetExecution

5.4 Graphical Concepts and Notation

5.5 Conditionals in Arc Expressions, and Parameters

6 Definition of High-level Petri Net Graphs

6.1 Introduction

6.2 Definition

6.3 Marking

6.4 Enabling

6.5 Transition Rule

7 Notation for High-level Petri Net Graphs

7.1 General

7.2 Places

7.3 Transitions

7.4 Arcs

7.5 Markings and Tokens

8 Semantics of High-level Petri Net Graphs

9 Conformance

9.1 PN Conformance

9.2 HLPN Conformance

Annex A: Mathematical Conventions (normative)

Annex B: Net Classes (normative)

Annex C: High-level Petri Net Schema (informative)

Annex D: Tutorial (informative)

Annex E: Analysis Techniques (informative)

Bibliography