BS ISO/IEC 15909-1 : 2004
Withdrawn
A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.
A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.
SOFTWARE AND SYSTEM ENGINEERING - HIGH-LEVEL PETRI NETS - PART 1: CONCEPTS, DEFINITIONS AND GRAPHICAL NOTATION
Hardcopy , PDF
03-09-2019
English
01-01-2004
Foreword
Introduction
1 Scope
2 Terms, Definitions, Abbreviations and Symbols
3 Conventions and Notation
4 Semantic Model for High-level Petri Nets
5 Concepts Required for High-level Petri Net Graphs
6 Definition of High-level Petri Net Graphs
7 Notation for High-level Petri Net Graphs
8 Semantics of High-level Petri Net Graphs
9 Conformance
Annex A (normative) - Mathematical Conventions
Annex B (normative) - Net Classes
Annex C (informative) - High-level Petri Net Schema
Annex D (informative) - Tutorial
Annex E (informative) - Analysis Techniques
Bibliography
Important note : All end users must be registered with an Account prior to user licenses being assigned.Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.