M00028398
New product
SYSTEMS AND SOFTWARE ENGINEERING - HIGH-LEVEL PETRI NETS - PART 2: TRANSFER FORMAT
International Organization for Standardization
In stock
Warning: Last items in stock!
Availability date: 11/05/2021
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
Describes an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1.
Published | |
Document Type | Standard |
Status | Current |
Publisher | International Organization for Standardization |
Pages | |
ISBN | |
Committee | JTC 1 |