CSA ISO/IEC 15909-1 : 2005 : INC : AMD 1 : 2012 : R201000

Name: CSA ISO/IEC 15909-1 : 2005 : INC : AMD 1 : 2012 : R201000
Brand: CSA

Superseded

View Superseded by

SYSTEMS AND SOFTWARE ENGINEERING - HIGH-LEVEL PETRI NETS - PART 1: CONCEPTS, DEFINITIONS AND GRAPHICAL NOTATION

Available format(s)

Hardcopy , PDF

Superseded date

10-18-2015

Language(s)

English

Published date

01-01-2015

Publisher

Canadian Standards Association

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	Superseded
SupersededBy	CSA ISO/IEC 15909-1 : 2005 : INC : AMD 1 : 2012 : R2015 CSA ISO/IEC 15909-1 : 2005 : INC : AMD 1 : 2012
Supersedes	CSA ISO/IEC 15909-1 : 2005 : INC : AMD 1 : 2012