• BS ISO/IEC 15909-2:2011

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

    Publisher:  British Standards Institution

    Add To Cart

    Table of Contents - (Show below) - (Hide below)

    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 - (Show below) - (Hide below)

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

    General Product Information - (Show below) - (Hide below)

    Committee IST/15
    Development Note Supersedes 07/30168157 DC. (02/2010)
    Document Type Standard
    Publisher British Standards Institution
    Status Current
    Supersedes

    Standards Referencing This Book - (Show below) - (Hide below)

    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
    • 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, flexibile and cost effective