ISO/IEC 15909-2:2011

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

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.

Ingénierie des systèmes et du logiciel — Réseaux de Petri de haut niveau — Partie 2: Format de transfert

General Information

• Status: Published
• Publication Date: 02-Feb-2011
• ICS: 35.080 - Software
• Technical Committee: ISO/IEC JTC 1/SC 7 - Software and systems engineering
• Drafting Committee: ISO/IEC JTC 1/SC 7/WG 19 - Techniques for Specifying IT Systems
• Current Stage: 9020 - International Standard under periodical review
• Start Date: 15-Jan-2024
• Completion Date: 15-Jan-2024

Standards Content (Sample)

INTERNATIONAL ISO/IEC
STANDARD 15909-2
First edition
2011-02-15


Systems and software engineering —
High-level Petri nets —
Part 2:
Transfer format
Ingénierie des systèmes et du logiciel — Réseaux de Petri de haut
niveau —
Partie 2: Format de transfert





Reference number
ISO/IEC 15909-2:2011(E)
©
ISO/IEC 2011

---------------------- Page: 1 ----------------------
ISO/IEC 15909-2:2011(E)
PDF disclaimer
This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but
shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In
downloading this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The ISO Central Secretariat
accepts no liability in this area.
Adobe is a trademark of Adobe Systems Incorporated.
Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation
parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In
the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below.


COPYRIGHT PROTECTED DOCUMENT


©  ISO/IEC 2011
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means,
electronic or mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or
ISO's member body in the country of the requester.
ISO copyright office
Case postale 56 • CH-1211 Geneva 20
Tel. + 41 22 749 01 11
Fax + 41 22 749 09 47
E-mail [e-mail]
Web www.iso.org
Published in Switzerland

ii © ISO/IEC 2011 – All rights reserved

---------------------- Page: 2 ----------------------
ISO/IEC 15909-2:2011(E)
Contents
1 Scope . 1
2 Conformance . 1
2.1 PNML Documents. 1
2.2 PNML Place/Transition Net Documents . 1
2.3 Textually conformant PNML High-level Petri Net Documents . 1
2.4 Structurally conformant PNML High-level Petri Net Documents. 2
2.5 Place/Transition Net Document in High-level Notation . 2
2.6 Symmetric Net Documents . 2
3 Normative references . 2
4 Terms, definitions and abbreviations . 3
4.1 Terms and definitions. 3
4.2 Abbreviations . 5
5 Concepts. 6
5.1 General Principles . 6
5.2 PNML Core Model. 7
5.2.1 Petri Net Documents, Petri Nets, and Objects . 8
5.2.2 Pages and Reference Nodes . 8
5.2.3 Labels. 8
5.2.4 Graphical Information. 9
5.2.5 Tool Specific Information . 11
5.2.6 Data Types . 11
5.3 Petri Net Type Meta Models and their Built-in Sorts . 12
5.3.1 Place/Transition Nets . 12
5.3.2 High-Level Core Structure .
...