| PDF Pages<\/th>\n | PDF Title<\/th>\n<\/tr>\n | ||||||
|---|---|---|---|---|---|---|---|
| 2<\/td>\n | National foreword <\/td>\n<\/tr>\n | ||||||
| 9<\/td>\n | Foreword <\/td>\n<\/tr>\n | ||||||
| 10<\/td>\n | Introduction <\/td>\n<\/tr>\n | ||||||
| 11<\/td>\n | 1 Scope 2 Normative References 3 Terms, definitions, and abbreviations 3.1 Terms and definitions <\/td>\n<\/tr>\n | ||||||
| 15<\/td>\n | 3.2 Abbreviations 4 General organization of parts 41 to 49 of ISO 18629 <\/td>\n<\/tr>\n | ||||||
| 16<\/td>\n | 5 Organization of this part of ISO 18629 <\/td>\n<\/tr>\n | ||||||
| 17<\/td>\n | 6 Non-deterministic activities: Permuting Branch Structure 6.1 Primitive lexicon of the Permuting Branch Structure 6.2 Defined lexicon for concepts of Permuting Branch Structure <\/td>\n<\/tr>\n | ||||||
| 18<\/td>\n | 6.3 Core Theories required by Permuting Branch Structure 6.4 Definitional extensions required by Permuting Branch Structure 6.5 Definitions of concepts for Permuting Branch Structure 6.5.1 Branch_monomorphic 6.5.2 Branch_automorphic 6.5.3 Permuted <\/td>\n<\/tr>\n | ||||||
| 19<\/td>\n | 6.5.4 Nondet_permuted 6.5.5 Partial_permuted 6.5.6 Simple 6.6 Grammar for relations of Permuting Branch Structure <\/td>\n<\/tr>\n | ||||||
| 20<\/td>\n | 7 Non-deterministic activities: Folding Branch Structure 7.1 Primitive lexicon of Folding Branch Structure 7.2 Defined lexicon for concepts of Folding Branch Structure 7.3 Theories required by Folding Branch Structure 7.4 Definitional extensions required by Folding Branch Structure 7.5 Definitions of Folding Branch Structure <\/td>\n<\/tr>\n | ||||||
| 21<\/td>\n | 7.5.1 Branch_homomorphic 7.5.2 Folded 7.5.3 Nondet_folded 7.5.4 Partial_folded <\/td>\n<\/tr>\n | ||||||
| 22<\/td>\n | 7.5.5 Rigid 7.6 Grammar for process descriptions of Folding Branch Structure 8 Non-deterministic activities: Branch Structure and Ordering 8.1 Primitive lexicon of Branch Structure and Ordering 8.2 Defined lexicon of Branch Structure and Ordering <\/td>\n<\/tr>\n | ||||||
| 23<\/td>\n | 8.3 Theories required by Branch Structure and Ordering 8.4 Definitional extensions required by Branch Structure and Ordering 8.5 Definitions of Branch Structure and Ordering 8.5.1 Mono_tree 8.5.2 Order_tree 8.5.3 Root_automorphic <\/td>\n<\/tr>\n | ||||||
| 24<\/td>\n | 8.5.4 Ordered 8.5.5 Nondet_ordered 8.5.6 Broken_ordered 8.5.7 Unordered <\/td>\n<\/tr>\n | ||||||
| 25<\/td>\n | 8.6 Grammar for Branch Structure and Ordering 9 Non-deterministic activities: Repetitive Branch Structure 9.1 Primitive lexicon of Repetitive Branch Structure 9.2 Defined relations of Repetitive Branch Structure <\/td>\n<\/tr>\n | ||||||
| 26<\/td>\n | 9.3 Theories required by Repetitive Branch Structure 9.4 Definitional extensions required by Repetitive Branch Structure 9.5 Definitions of Repetitive Branch Structure 9.5.1 Branch_mono 9.5.2 Reptree <\/td>\n<\/tr>\n | ||||||
| 27<\/td>\n | 9.5.3 Repetitive 9.5.4 nondet_repetitive 9.5.5 partial_repetitive 9.5.6 Amorphous <\/td>\n<\/tr>\n | ||||||
| 28<\/td>\n | 9.6 Grammar for Repetitive Branch Structure 10 Spectrum of activities: Permuting Activity Trees 10.1 Primitive lexicon of Permuting Activity Trees 10.2 Defined relations of Permuting Activity Trees 10.3 Theories required by Permuting Activity Trees <\/td>\n<\/tr>\n | ||||||
| 29<\/td>\n | 10.4 Definitional extensions required by Permuting Activity Trees 10.5 Definitions of Permuting Activity Trees 10.5.1 Reordered 10.5.2 Nondet_reordered 10.5.3 Partial_reordered <\/td>\n<\/tr>\n | ||||||
| 30<\/td>\n | 10.5.4 Unorderable 10.6 Grammar for process descriptions of Permuting Activity Trees 11 Spectrum of Activities: Compacting Branch Structure 11.1 Primitive lexicon of Compacting Branch Structure 11.2 Defined lexicon of Compacting Branch Structure 11.3 Theories required by Compacting Branch Structure <\/td>\n<\/tr>\n | ||||||
| 31<\/td>\n | 11.4 Definitional extensions required by Compacting Branch Structure 11.5 Definitions of Compacting Branch Structure 11.5.1 Compacted 11.5.2 Nondet_compacted 11.5.3 Partial_compacted <\/td>\n<\/tr>\n | ||||||
| 32<\/td>\n | 11.5.4 Stiff 11.6 Grammar for Compacting Branch Structure 12 Spectrum of Activities: Activity Trees and Re-ordering 12.1 Primitive lexicon of Activity Trees and Re-ordering 12.2 Defined lexicon of Activity Trees and Re-ordering <\/td>\n<\/tr>\n | ||||||
| 33<\/td>\n | 12.3 Theories required by Activity Trees and Re-ordering 12.4 Definitional extensions required by Activity Trees and Re-ordering 12.5 Definitions of Activity Trees and Re-ordering 12.5.1 Treeordered 12.5.2 Nondet_treeordered 12.5.3 Partial_treeordered <\/td>\n<\/tr>\n | ||||||
| 34<\/td>\n | 12.5.4 Scrambled 12.6 Grammar of Activity Trees and Re-ordering 13 Spectrum and Subtree Containment 13.1 Primitive lexicon of Spectrum and Subtree Containment 13.2 Defined lexicon of Spectrum and Subtree Containment <\/td>\n<\/tr>\n | ||||||
| 35<\/td>\n | 13.3 Theories required by Spectrum and Subtree Containment 13.4 Definitional extensions required by Spectrum and Subtree Containment 13.5 Definitions of Spectrum and Subtree Containment 13.5.1 Subtree_embed 13.5.2 Multiple_outcome 13.5.3 Weak_outcome <\/td>\n<\/tr>\n | ||||||
| 36<\/td>\n | 13.5.4 Nondet_outcome 13.5.5 imiscible 13.6 Grammar for Permuting Branch Structure 14 Embedding constraints for activities 14.1 Primitive lexicon of embedding constraints for activities 14.2 Defined lexicon of embedding constraints for activities <\/td>\n<\/tr>\n | ||||||
| 37<\/td>\n | 14.3 Theories required by embedding constraints for activities 14.4 Definitional extensions required by embedding constraints for activities 14.5 Definitions of embedding constraints for activities 14.5.1 Live_branch 14.5.2 Embedded 14.5.3 Dead_branch <\/td>\n<\/tr>\n | ||||||
| 38<\/td>\n | 14.5.4 Dead_occurrence 14.5.5 Embed_tree 14.5.6 Subocc_equiv 14.5.7 unrestricted <\/td>\n<\/tr>\n | ||||||
| 39<\/td>\n | 14.6 Grammar for Embedding Constraints for Activities. 15 Skeletal Activity Trees 15.1 Primitive lexicon of Skeletal Activity Trees 15.2 Defined lexicon of Skeletal Activity Trees 15.3 Theories required by Skeletal Activity Trees 15.4 Definitional extensions required by Skeletal Activity Trees 15.5 Definitions of Skeletal Activity Trees 15.5.1 Fused <\/td>\n<\/tr>\n | ||||||
| 40<\/td>\n | 15.5.2 Embedd_occ 15.5.3 Free 15.5.4 Assisted 15.5.5 Helpless <\/td>\n<\/tr>\n | ||||||
| 41<\/td>\n | 15.5.6 Unbound 15.5.7 Bound 15.5.8 Strict 15.6 Grammar for Skeletal Activity Tree 16 Atomic Activities: Upwards Concurrency 16.1 Primitive lexicon of Atomic Activities: Upwards Concurrency 16.2 Defined lexicon of Atomic Activities: Upwards Concurrency <\/td>\n<\/tr>\n | ||||||
| 42<\/td>\n | 16.3 Theories required by Atomic Activities: Upwards Concurrency 16.4 Definitional extensions required by Atomic Activities: Upwards Concurrency 16.5 Definitions of Atomic Activities: Upwards Concurrency 16.5.1 Natural 16.5.2 Artificial 16.5.3 Performed 16.5.4 Up_ghost <\/td>\n<\/tr>\n | ||||||
| 43<\/td>\n | 16.5.5 Up_conflict 16.5.6 Quark 16.6 Grammar for Atomic Activities: Upwards Concurrency 17 Atomic Activities: Downwards Concurrency 17.1 Primitive lexicon of Atomic Activities: Downwards Concurrency 17.2 Defined lexicon of Atomic Activities: Downwards Concurrency <\/td>\n<\/tr>\n | ||||||
| 44<\/td>\n | 17.3 Theories required by Atomic Activities: Downwards Concurrency 17.4 Definitional extensions required by Atomic Activities: Downwards Concurrency 17.5 Definitions of Atomic Activities: Downwards Concurrency 17.5.1 Superpose 17.5.2 Assistance 17.5.3 Team <\/td>\n<\/tr>\n | ||||||
| 45<\/td>\n | 17.5.4 Ghost 17.5.5 Conflict 17.5.6 Dysfunction 17.6 Grammar for Atomic Activities: Downwards Concurrency 18 Spectrum of Atomic Activities 18.1 Primitive lexicon of Spectrum of Atomic Activities 18.2 Defined lexicon of Spectrum of Atomic Activities <\/td>\n<\/tr>\n | ||||||
| 46<\/td>\n | 18.3 Theories required by Spectrum of Atomic Activities 18.4 Definitional extensions required by Spectrum of Atomic Activities 18.5 Definitions of Spectrum of Atomic Activities 18.5.1 Global_ideal 18.5.2 global_nonideal 18.5.3 global_filter <\/td>\n<\/tr>\n | ||||||
| 47<\/td>\n | 18.5.4 global_nonfilter 18.6 Grammar for Spectrum of Atomic Activities 19 Preconditions for Activities 19.1 Primitive lexicon of Preconditions for Activities 19.2 Defined lexicon of Preconditions for Activities 19.3 Theories required by Preconditions for Activities 19.4 Definitional extensions required by Spectrum of Atomic Activities 19.5 Definitions of Preconditions for Activities 19.5.1 poss_equiv <\/td>\n<\/tr>\n | ||||||
| 48<\/td>\n | 19.5.2 trunc 19.5.3 unconstrained 19.6 Grammar for Preconditions for Activities <\/td>\n<\/tr>\n | ||||||
| 49<\/td>\n | Annex A (normative) ASN.1 Identifier of ISO 18629\u201141 <\/td>\n<\/tr>\n | ||||||
| 50<\/td>\n | Annex B (informative) Example of process description using ISO 18629\u201141 <\/td>\n<\/tr>\n | ||||||
| 58<\/td>\n | Bibliography <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":" Industrial automation systems and integration. Process specification language – Definitional extension: Activity extensions<\/b><\/p>\n |