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
17-07-2021
English
01-01-2015
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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
Specifies a Petri net technique, called High-level Petri Nets, including its syntax and semantics. Provides a reference definition that can be used both within and between organisations, to ensure a common understanding of the technique and of the specifications written using the technique.
| DevelopmentNote |
Amendment 1 is available separately, See CSA ISO/IEC 15909-1A. (03/2012)
|
| DocumentType |
Standard
|
| Pages |
69
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Withdrawn
|
| Supersedes |
| Standards | Relationship |
| ISO/IEC 15909-1:2004 | Identical |
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.