CSA ISO/IEC 15909-1 : 2005 : R2010
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
SYSTEMS AND SOFTWARE ENGINEERING - HIGH-LEVEL PETRI NETS - PART 1: CONCEPTS, DEFINITIONS AND GRAPHICAL NOTATION
Hardcopy , PDF
17-07-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
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 |
51
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Superseded
|
| SupersededBy | |
| 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.