BS ISO/IEC 15909-1 : 2004
Withdrawn
View Superseded by
SOFTWARE AND SYSTEM ENGINEERING - HIGH-LEVEL PETRI NETS - PART 1: CONCEPTS, DEFINITIONS AND GRAPHICAL NOTATION
Hardcopy , PDF
English
01-01-2004
09-03-2019
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 |
Please Login or Create an Account so you can add users to your Multi user PDF Later.
Important note : All end users must be registered with an Account prior to user licenses being assigned.
Users cannot be edited or removed once added to your Multi user PDF.