🔥🔥 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-13:2006:2023 Edition

BS ISO 18629-13:2006:2023 Edition

$167.15

Industrial automation systems and integration. Process specification language – Duration and ordering theories

Published By Publication Date Number of Pages
BSI 2023 36
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
7 Foreword
8 Introduction
9 1 Scope
2 Normative references
3 Terms, definitions, and abbreviations
3.1 Terms and definitions
13 3.2 Abbreviations
4 General information on ISO 18629
14 5 Organization of this part of ISO 18629
6 Subactivity occurrence ordering core Theory
6.1 Primitive Relations of the Subactivity occurrence ordering theory
6.2 Defined Relations of the Subactivity occurrence ordering theory
6.3 Relationship to other sets of axioms
15 6.4 Informal Semantics of the Subactivity occurrence ordering theory
6.4.1 soo
6.4.2 soo_precedes
6.4.3 soomap
6.5 Definitions in the Subactivity occurrence ordering theory
6.5.1 Definition 1 (related to root_soo)
6.5.2 Definition 2 (related to leaf_soo)
16 6.5.3 Definition 3 (related to next_soo)
6.6 Axioms of the Subactivity occurrence ordering theory
6.6.1 Axiom 1
6.6.2 Axiom 2
6.6.3 Axiom 3
6.6.4 Axiom 4
6.6.5 Axiom 5
6.6.6 Axiom 6
17 6.6.7 Axiom 7
6.6.8 Axiom 8
7 Duration theory
7.1 Primitive relations in the Duration theory
7.2 Primitive Functions and Constants
7.3 Defined Relations of the Duration theory
7.4 Relationship to other sets of axioms
18 7.5 Informal Semantics of the Duration theory
7.5.1 timeduration
7.5.2 lesser
7.5.3 duration
7.5.4 time_add
7.5.5 add
19 7.5.6 mult
7.5.7 zero
7.5.8 one
7.5.9 max+
7.5.10 max-
7.6 Definitions of Duration theory
7.6.1 Definition 1
7.7 Axioms for the Duration theory
7.7.1 Axiom 1
20 7.7.2 Axiom 2
7.7.3 Axiom 3
7.7.4 Axiom 4
7.7.5 Axiom 5
7.7.6 Axiom 6
7.7.7 Axiom 7
7.7.8 Axiom 8
7.7.9 Axiom 9
21 7.7.10 Axiom 10
7.7.11 Axiom 11
7.7.12 Axiom 12
7.7.13 Axiom 13
7.7.14 Axiom 14
7.7.15 Axiom 15
7.7.16 Axiom 16
7.7.17 Axiom 17
22 7.7.18 Axiom 18
7.7.19 Axiom 19
7.7.20 Axiom 20
7.7.21 Axiom 21
7.7.22 Axiom 22
8 Occurrence tree automorphisms
23 8.1 Primitive Relations in the Occurrence tree automorphism theory
8.2 Defined Relations in the Occurrence tree automorphism theory
8.3 Relationship to other sets of axioms
8.4 Informal semantics of the Occurrence tree automorphism theory
8.4.1 ubiquitous
8.4.2 end_iso
24 8.4.3 legal_map
8.4.4 tree_map
8.5 Definitions in the Occurrence tree automorphism theory
8.5.1 Definition 1
8.5.2 Definition 2
8.5.3 Definition 3
25 8.6 Axioms for the Occurrence tree automorphism theory
8.6.1 Axiom 1
8.6.2 Axiom 2
8.6.3 Axiom 3
9 Activity envelope theory
9.1 Primitive Relations in the Activity envelope theory
26 9.2 Defined relation in Activity envelope theory
9.3 Relationship to other sets of axioms
9.4 Informal semantics of the Activity envelope theory
9.4.1 envelope
9.4.2 umbra
9.5 Definitions in activity envelop theory
9.6 Axioms of the Activity envelope theory
27 9.6.1 Axiom 1
9.6.2 Axiom 2
9.6.3 Axiom 3
9.6.4 Axiom 4
9.6.5 Axiom 5
9.6.6 Axiom 6
9.6.7 Axiom 7
9.6.8 Axiom 8
29 Annex A (normative) Use of ASN.1 Identifiers in SC4 standards
30 Annex В (informative) Example of process description using ISO 18629‑13
35 Bibliography

Related products

BS ISO 18629-13:2006
$167.15