BS ISO/IEC 15909-2:2011
Current
The latest, up-to-date edition.
Systems and software engineering. High-level Petri nets Transfer format
Hardcopy , PDF
English
31-07-2014
1 Scope
2 Conformance
3 Normative references
4 Terms, definitions and abbreviations
5 Concepts
6 Mapping between Part 1 and Part 2
7 PNML Syntax
Annex A (normative) - RELAX NG Grammar for the PNML Core
Model
Annex B (normative) - RELAX NG Grammars for special types
Annex C (informative) - PNML Example of a High-level Net
Annex D (informative) - The PNML Framework: Easing the
implementation of PNML
Bibliography
Describes an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1.
| Committee |
IST/15
|
| DevelopmentNote |
Supersedes 07/30168157 DC. (02/2010)
|
| DocumentType |
Standard
|
| Pages |
114
|
| PublisherName |
British Standards Institution
|
| Status |
Current
|
| Supersedes |
| Standards | Relationship |
| ISO/IEC 15909-2:2011/Cor 1:2013 | Identical |
| ISO/IEC 15909-2:2011 | Identical |
| ISO/IEC 15948:2004 | Information technology — Computer graphics and image processing — Portable Network Graphics (PNG): Functional specification |
| ISO/IEC 19757-2:2008 | Information technology — Document Schema Definition Language (DSDL) — Part 2: Regular-grammar-based validation — RELAX NG |
| ISO/IEC 15909-1:2004 | Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation |
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.