• There are no items in your cart

BS ISO/IEC 15909-2:2011

Current

Current

The latest, up-to-date edition.

Systems and software engineering. High-level Petri nets Transfer format

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

07-31-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

View more information
US$348.99
Excluding Tax where applicable

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.