ISO/IEC 15909-2:2011

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 2011
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.

©  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 copyright@iso.org
Web www.iso.org
Published in Switzerland
ii © ISO/IEC 2011 – All rights reserved

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 . 13
5.3.3 Dots . 16
5.3.4 Multisets . 16
5.3.5 Booleans. 18
5.3.6 Finite Enumerations . 19
5.3.7 Cyclic Enumerations . 19
5.3.8 Finite Integer Ranges . 20
5.3.9 Partitions . 20
5.3.10 Symmetric Nets. 21
5.3.11 High-Level Petri Net Graphs . 21
5.3.12 Place/Transition Nets as High-level Net Graphs . 24
6 Mapping between Part 1 and Part 2. 27
6.1 Graphics and Structuring. 27
6.2 Annotations of HLPNGs . 27
7 PNML Syntax . 29
7.1 PNML Documents. 29
7.1.1 PNML Elements. 29
7.1.2 Labels. 29
7.1.3 Graphics . 30
7.1.4 Mapping of XMLSchemaDataTypes concepts . 31
7.1.5 Example. 31
7.2 Mapping Petri Net Type Definitions to XML Syntax . 33
7.3 Mapping forHigh-LevelNets . 33
7.3.1 Mapping High-Level Nets meta model elements to PNML syntax . 33
Annex A (normative) RELAX NG Grammar for the PNML Core Model. 37

c ISO/IEC 2011 – All rights reserved iii

Annex B (normative) RELAX NG Grammars for special types . 49
B.1 Place/Transition Nets . 49
B.1.1 The labels. 49
B.1.2 Token Graphics . 50
B.1.3 The Grammar . 51
B.2 High-level Petri Nets. 52
B.2.1 Core structure of HLPNGs. 52
B.2.2 Dots . 61
B.2.3 Multisets . 62
B.2.4 Booleans. 64
B.2.5 Finite Enumerations . 66
B.2.6 Cyclic Enumerations . 68
B.2.7 Finite Integer Ranges . 69
B.2.8 Partitions . 71
B.2.9 Integers . 73
B.2.10 Strings. 77
B.2.11 Lists . 80
B.2.12 Arbitrary Declarations . 82
B.2.13 P/T Nets as restricted HLPNGs . 84
B.2.14 Symmetric Nets. 85
B.2.15 HLPNGs . 86
Annex C (informative) PNML Example of a High-level Net. 88
Annex D (informative) The PNML Framework: Easing the implementation of PNML . 95
D.1 Introduction . 95
D.2 Methodology. 95
D.2.1 Overview . 95
D.2.2 Generating the API from a model. 96
D.3 Features of the PNML Framework . 96
D.4 Application to a Petri nets CASE tool . 97
D.4.1 Exporting Petri nets models to PNML . 98
D.5 Importing Petri nets models from PNML . 98
D.6 Time and effort required to develop and integrate a PNML plugin. 99
D.7 Conclusion . 99
D.7.1 Synthesis . 99
D.7.2 The release. 100
Bibliography . 101
iv
c ISO/IEC 2011 – All rights reserved

Foreword
ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission)
form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC par-
ticipate in the development of International Standards through technical committees established by the respective
organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields
of mutual interest. Other international organizations, governmental and non-governmental, in liaison with ISO and
IEC, also take part in the work. In the field of information technology, ISO and IEC have established a joint technical
committee, ISO/IEC JTC 1.
International Standards are drafted in accordance with the rules given in the ISO/IEC Directives, Part 2.
The main task of the joint technical committee is to prepare International Standards. Draft International Standards
adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International
Standard requires approval by at least 75% of the national bodies casting a vote.
Attention is drawn to the possibility that some of the elements of this document may be the subject of patent rights.
ISO and IEC shall not be held responsible for identifying any or all such patent rights.
ISO/IEC 15909-2 was prepared by Joint Technical Committe ISO/IEC JTC 1, Information technology, Subcommittee
SC 7, Software and systems engineering.
ISO/IEC 15909 consists of the following parts, under the general title Systems and software engineering – High-level
Petri nets:
— Part 1: Concepts, definitions and graphical notation
— Part 2: Transfer format
“Extensions” will form the subject of a future Part 3.

c ISO/IEC 2011 – All rights reserved v

In
...