🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BS ISO 18629-41:2006:2023 Edition

BS ISO 18629-41:2006:2023 Edition

$198.66

Industrial automation systems and integration. Process specification language – Definitional extension: Activity extensions

Published By Publication Date Number of Pages
BSI 2023 60
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Categories: ,

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

PDF Catalog

PDF Pages PDF Title
2 National foreword
9 Foreword
10 Introduction
11 1 Scope
2 Normative References
3 Terms, definitions, and abbreviations
3.1 Terms and definitions
15 3.2 Abbreviations
4 General organization of parts 41 to 49 of ISO 18629
16 5 Organization of this part of ISO 18629
17 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
18 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
19 6.5.4 Nondet_permuted
6.5.5 Partial_permuted
6.5.6 Simple
6.6 Grammar for relations of Permuting Branch Structure
20 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
21 7.5.1 Branch_homomorphic
7.5.2 Folded
7.5.3 Nondet_folded
7.5.4 Partial_folded
22 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
23 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
24 8.5.4 Ordered
8.5.5 Nondet_ordered
8.5.6 Broken_ordered
8.5.7 Unordered
25 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
26 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
27 9.5.3 Repetitive
9.5.4 nondet_repetitive
9.5.5 partial_repetitive
9.5.6 Amorphous
28 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
29 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
30 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
31 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
32 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
33 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
34 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
35 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
36 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
37 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
38 14.5.4 Dead_occurrence
14.5.5 Embed_tree
14.5.6 Subocc_equiv
14.5.7 unrestricted
39 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
40 15.5.2 Embedd_occ
15.5.3 Free
15.5.4 Assisted
15.5.5 Helpless
41 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
42 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
43 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
44 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
45 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
46 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
47 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
48 19.5.2 trunc
19.5.3 unconstrained
19.6 Grammar for Preconditions for Activities
49 Annex A (normative) ASN.1 Identifier of ISO 18629‑41
50 Annex B (informative) Example of process description using ISO 18629‑41
58 Bibliography

Related products

BS ISO 18629-41:2006
$198.66