CSA ISO/IEC 15909-1 : 2005 : INC : AMD 1 : 2012 : R2015
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.
SYSTEMS AND SOFTWARE ENGINEERING - HIGH-LEVEL PETRI NETS - PART 1: CONCEPTS, DEFINITIONS AND GRAPHICAL NOTATION
Hardcopy , PDF
07-17-2021
English
01-01-2015
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: 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
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.