ISO/IEC INTERNATIONAL STANDARD 15909-2 First edition 2011-02-15 Systems and softwareengineering- High-level Petri nets - Part 2: Transfer format IngenieriedessystemesetdulogicielReéseauxdePetridehaut niveau- Partie 2:Formatde transfert Reference number ISO/IEC 15909-2:2011(E) ISO IEO @ISO/IEC2011 ISO/IEC15909-2:2011(E) PDFdisclaimer 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 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 theunlikely event thataproblem relatingto it isfound,please informtheCentral Secretariat attheaddressgivenbelow COPYRIGHTPROTECTEDDOCUMENT ISO/IEC2011 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 Casepostale56.CH-1211Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail [email protected] Web www.iso.org Published in Switzerland CopyghtIntationalganizaooStandardizatio @ ISO/IEC 2011 - All rights reserved without license from IHS Not for Resale ISO/IEC 15909-2:2011(E) Contents 1 Scope. 2 Conformance 2.1 PNML Documents.. 2.2 PNML Place/Transition Net Documents .. 2.3 Textually conformant pNML High-level Petri Net Documents ..... 2.4 Structurally conformant PNML High-level Petri Net Documents. 2.5 Place/Transition Net Document in High-level Notation 2.6 Symmetric Net Documents...... 3 Normative references .. 4 Terms, definitions and abbreviations . 4.1 Terms and definitions... 4.2 Abbreviations ...... 5 Concepts......... 5.1 General Principles ... 5.2 PNMLCoreModel 5.2.1 PetriNetDocuments,PetriNets,andObjects 5.2.2 Pages and Reference Nodes. 5.2.3 Labels.. 5.2.4 Graphical Information..... 5.2.5 Tool Specific Information . 11 5.2.6 DataTypes 5.3 Petri Net Type Meta Models and their Built-in Sorts 12 5.3.1 Place/TransitionNets. 5.3.2 High-Level Core Structure. 13 5.3.3 16 5.3.4 Multisets 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 20 5.3.10 SymmetricNets.. 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 6.1 Graphics and Structuring.. 6.2 AnnotationsofHLPNGs 27 7 PNMLSyntax 29 7.1 PNML Documents.. 29 7.1.1 PNML Elements. 29 7.1.2 Labels.. 29 7.1.3 Graphics... 7.1.4 Mapping of XMLSchemaDataTypes concepts. 31 7.1.5 31 7.2 Mapping Petri Net Type Definitions to xML Syntax ...... 7.3 Mapping for High-Level Nets ... 33 7.3.1 Mapping High-LevelNets meta model elements toPNMLsyntax 33 Annex A (normative) RELAx NG Grammar for the PNML Core Model........... ili No reprod lion or networking permited without license from IHS Not for Resale