• There are no items in your cart

ISO/IEC 15909-2:2011

Current

Current

The latest, up-to-date edition.

Systems and software engineering — High-level Petri nets — Part 2: Transfer format

Available format(s)

Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users

Published date

02-03-2011

US$251.00
Excluding Tax where applicable

ISO/IEC 15909-2:2011 defines an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1. This transfer format enables the exchange of Petri nets among different Petri net tools and among different parties. Moreover, ISO/IEC 15909-2:2011 defines some concepts and XML-based syntax for defining the detailed graphical appearance of Petri nets.

The focus of ISO/IEC 15909-2:2011 is on the transfer format for Place/Transition Nets, High-level Petri Nets and Symmetric Nets. The presentation, however, is structured in such a way that it is open for future extensions, so that other versions of Petri nets can be added later. The exact definition of this extension mechanism, called Petri net type definition, is not defined in ISO/IEC 15909-2:2011; it will be defined in ISO/IEC 15909-3.

The transfer format will be used to transfer specifications of systems developed in High-level Petri Nets between tools to facilitate the development of systems in teams.

ISO/IEC 15909-2:2011 is written as a reference for developers of Petri net tools. It will also be useful for researchers who define new versions and variants of Petri nets.

Committee
ISO/IEC JTC 1/SC 7
DocumentType
Standard
Pages
102
PublisherName
International Organization for Standardization
Status
Current

Standards Relationship
NEN ISO/IEC 15909-2 : 2011 C1 2013 Identical
BS ISO/IEC 15909-2:2011 Identical

BS ISO/IEC IEEE 24765:2010 Systems and software engineering. Vocabulary
VDI/VDE 3690 Blatt 1:2013-03 XML in automation - Classification of selected applications
ISO/IEC 20016-1:2014 Information technology for learning, education and training — Language accessibility and human interface equivalencies (HIEs) in e-learning applications — Part 1: Framework and reference model for semantic interoperability
ISO/IEC/IEEE 24765:2017 Systems and software engineering — Vocabulary

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, flexible and cost effective.