New Reduced price! ISO/IEC 15909-2 : 2011 View larger

ISO/IEC 15909-2 : 2011

M00028398

New product

ISO/IEC 15909-2 : 2011

SYSTEMS AND SOFTWARE ENGINEERING - HIGH-LEVEL PETRI NETS - PART 2: TRANSFER FORMAT

International Organization for Standardization

More details

In stock

$35.10

-55%

$78.00

More info

Table of Contents

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

Abstract

Describes an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1.

General Product Information

Document Type Standard
Status Current
Publisher International Organization for Standardization
Committee JTC 1