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.
View Superseded by
SOFTWARE AND SYSTEM ENGINEERING - HIGH-LEVEL PETRI NETS - PART 1: CONCEPTS, DEFINITIONS AND GRAPHICAL NOTATION
Hardcopy , PDF
03-09-2019
English
01-01-2004
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 (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
Specifies a Petri net technique, called High-level Petri Nets, including its syntax and semantics.
| Committee |
IST/15
|
| DevelopmentNote |
Supersedes 03/647894 DC. (01/2005) 2004 Edition Re-Issued in July 2010 & incorporates AMD 1 2010. (08/2010)
|
| DocumentType |
Standard
|
| Pages |
56
|
| PublisherName |
British Standards Institution
|
| Status |
Withdrawn
|
| 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.