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

BS ISO 18629-14:2006:2023 Edition

$142.49

Industrial automation systems and integration. Process specification language – Resource theories

Published By Publication Date Number of Pages
BSI 2023 32
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
12 3.2 Abbreviations
4 General information on ISO 18629
13 5 Organization of this part of ISO 18629
6 Resource requirements theory
6.1 Primitive relations of the Resource requirements theory
6.2 Primitive functions of the Resource requirements theory
6.3 Defined relations of the Resource requirements theory
6.4 Core theories required by Resource requirements theory
14 6.5 Definitional extensions required by Resource requirements theory
6.6 Informal Semantics of the Resource Requirements theory
6.6.1 requires
6.6.2 resource_point
6.6.3 demand
6.6.4 agg_demand
15 6.6.5 resource
6.7 Definitions in the Resource Requirements theory
6.7.1 Definition 1:
6.8 Axioms of the Resource Requirements theory
6.8.1 Axiom 1
6.8.2 Axiom 2
16 6.8.3 Axiom 3
6.8.4 Axiom 4
6.8.5 Axiom 5
7 Resource set theory
7.1 Primitive functions of Resource set theory
7.2 Defined functions of Resource set theory
7.3 Core theories required by Resource set theory
17 7.4 Definitional extensions required by Resource set theory
7.5 Informal semantics of the Resource set theory
7.5.1 resource_set
7.5.2 in_resource_set
7.5.3 resource_subset
7.6 Axioms for the Resource set theory
7.6.1 Axiom 1
18 7.6.2 Axiom 2
7.6.3 Axiom 3
7.7 Definitions for the Resource set theory
7.7.1 Definition 1
7.7.2 Definition 2
8 Additive quantities theory
19 8.1 Primitive categories in the Additive quantities theory
8.2 Primitive functions in the Additive quantities theory
8.3 Primitive constants in the Additive quantities theory
8.4 Primitive relations in the Additive quantities theory
8.5 Core theories required by Additive quantities theory
8.6 Informal Semantics of the Additive Quantities theory
8.6.1 additive
8.6.2 plus
8.6.3 zero_quantity
20 8.6.4 greater
8.7 Axioms for the Additive Quantities theory
8.7.1 Axiom 1
8.7.2 Axiom 2
8.7.3 Axiom 3
8.7.4 Axiom 4
8.7.5 Axiom 5
21 8.7.6 Axiom 6
8.7.7 Axiom7
8.7.8 Axiom 8
8.7.9 Axiom 9
8.7.10 Axiom 10
8.7.11 Axiom 11
23 Annex A (normative) Use of ASN.1 Identifiers in SC4 standards
24 Annex В (informative) Example of process description using ISO 18629‑14
30 Bibliography

Related products

BS ISO 18629-14:2006
$142.49