ISO 18629-41:2006

INTERNATIONAL ISO
STANDARD 18629-41
First edition
2006-08-15
Industrial automation systems and
integration — Process specification
language —
Part 41:
Definitional extension: Activity
extensions
Systèmes d'automatisation industrielle et intégration — Langage de
spécification de procédé —
Partie 41: Extension de définition: Extensions d'activité

Reference number
©
ISO 2006
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 2006
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 2006 – All rights reserved

Contents Page
1 Scope. 1
2 Normative References. 1
3 Terms, definitions, and abbreviations. 2
3.1 Terms and definitions . 2
3.2 Abbreviations. 6
4 General organization of parts 41 to 49 of ISO 18629. 6
5 Organization of this part of ISO 18629. 7
6 Non-deterministic activities: Permuting Branch Structure . 8
6.1 Primitive lexicon of the Permuting Branch Structure.8
6.2 Defined lexicon for concepts of Permuting Branch Structure . 8
6.3 Core Theories required by Permuting Branch Structure. 9
6.4 Definitional extensions required by Permuting Branch Structure . 9
6.5 Definitions of concepts for Permuting Branch Structure. 9
6.5.1 Branch_monomorphic. 9
6.5.2 Branch_automorphic. 10
6.5.3 Permuted . 10
6.5.4 Nondet_permuted. 10
6.5.5 Partial_permuted. 11
6.5.6 Simple . 11
6.6 Grammar for relations of Permuting Branch Structure. 12
7 Non-deterministic activities: Folding Branch Structure . 12
7.1 Primitive lexicon of Folding Branch Structure. 13
7.2 Defined lexicon for concepts of Folding Branch Structure . 13
7.3 Theories required by Folding Branch Structure. 13
7.4 Definitional extensions required by Folding Branch Structure. 13
7.5 Definitions of Folding Branch Structure. 13
7.5.1 Branch_homomorphic. 14
7.5.2 Folded . 14
7.5.3 Nondet_folded . 14
7.5.4 Partial_folded. 15
7.5.5 Rigid. 15
7.6 Grammar for process descriptions of Folding Branch Structure . 16
8 Non-deterministic activities: Branch Structure and Ordering. 16
8.1 Primitive lexicon of Branch Structure and Ordering . 16
8.2 Defined lexicon of Branch Structure and Ordering . 16
8.3 Theories required by Branch Structure and Ordering. 17
8.4 Definitional extensions required by Branch Structure and Ordering. 17
8.5 Definitions of Branch Structure and Ordering. 17
8.5.1 Mono_tree. 17
iii
8.5.2 Order_tree . 18
8.5.3 Root_automorphic . 18
8.5.4 Ordered . 19
8.5.5 Nondet_ordered . 19
8.5.6 Broken_ordered . 20
8.5.7 Unordered . 20
8.6 Grammar for Branch Structure and Ordering .20
9 Non-deterministic activities: Repetitive Branch Structure . 22
9.1 Primitive lexicon of Repetitive Branch Structure. 22
9.2 Defined relations of Repetitive Branch Structure. 22
9.3 Theories required by Repetitive Branch Structure.23
9.4 Definitional extensions required by Repetitive Branch Structure. 23
9.5 Definitions of Repetitive Branch Structure. 23
9.5.1 Branch_mono. 23
9.5.2 Reptree. 24
9.5.3 Repetitive. 24
9.5.4 nondet_repetitive . 25
9.5.5 partial_repetitive . 25
9.5.6 Amorphous. 26
9.6 Grammar for Repetitive Branch Structure. 26
10 Spectrum of activities: Permuting Activity Trees. 27
10.1 Primitive lexicon of Permuting Activity Trees. 27
10.2 Defined relations of Permuting Activity Trees. 27
10.3 Theories required by Permuting Activity Trees. 27
10.4 Definitional extensions required by Permuting Activity Trees. 28
10.5 Definitions of Permuting Activity Trees. 28
10.5.1 Reordered. 28
10.5.2 Nondet_reordered . 28
10.5.3 Partial_reordered. 29
10.5.4 Unorderable . 29
10.6 Grammar for process descriptions of Permuting Activity Trees . 30
11 Spectrum of Activities: Compacting Branch Structure. 30
11.1 Primitive lexicon of Compacting Branch Structure. 30
11.2 Defined lexicon of Compacting Branch Structure. 30
11.3 Theories required by Compacting Branch Structure. 31
11.4 Definitional extensions required by Compacting Branch Structure . 31
11.5 Definitions of Compacting Branch Structure. 31
11.5.1 Compacted . 31
11.5.2 Nondet_compacted . 32
11.5.3 Partial_compacted. 32
11.5.4 Stiff . 33
11.6 Grammar for Compacting Branch Structure.33
12 Spectrum of Activities: Activity Trees and Re-ordering . 34
12.1 Primitive lexicon of Activity Trees and Re-ordering. 34
12.2 Defined lexicon of Activity Trees and Re-ordering. 34
12.3 Theories required by Activity Trees and Re-ordering . 34
12.4 Definitional extensions required by Activity Trees and Re-ordering . 35
12.5 Definitions of Activity Trees and Re-ordering . 35
12.5.1 Treeordered.
...