{"id":426000,"date":"2024-10-20T06:59:46","date_gmt":"2024-10-20T06:59:46","guid":{"rendered":"https:\/\/pdfstandards.shop\/product\/uncategorized\/bs-iso-18629-122005\/"},"modified":"2024-10-26T13:12:57","modified_gmt":"2024-10-26T13:12:57","slug":"bs-iso-18629-122005","status":"publish","type":"product","link":"https:\/\/pdfstandards.shop\/product\/publishers\/bsi\/bs-iso-18629-122005\/","title":{"rendered":"BS ISO 18629-12:2005"},"content":{"rendered":"

PDF Catalog<\/h4>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
PDF Pages<\/th>\nPDF Title<\/th>\n<\/tr>\n
2<\/td>\nNational foreword <\/td>\n<\/tr>\n
8<\/td>\nForeword <\/td>\n<\/tr>\n
9<\/td>\nIntroduction <\/td>\n<\/tr>\n
11<\/td>\n1 Scope
2 Normative references
3 Terms, definitions, and abbreviations
3.1 Terms and definitions <\/td>\n<\/tr>\n
15<\/td>\n3.2 Abbreviations <\/td>\n<\/tr>\n
16<\/td>\n4 ISO 18629 general
5 Organization of ISO 18629\u201112
5.1 Extensions in Outer core <\/td>\n<\/tr>\n
17<\/td>\n6 Subactivity core theory
6.1 Primitive Relations of the Subactivity core theory
6.2 Defined Relations of the Subactivity core theory <\/td>\n<\/tr>\n
18<\/td>\n6.3 Relationship to other sets of axioms
6.4 Informal Semantics of the Subactivity core theory
6.4.1 subactivity
6.4.2 primitive
6.5 Definitions in the Subactivity core theory
6.5.1 Definition 1:
6.6 Axioms of the Subactivity core theory
6.6.1 Axiom 1
6.6.2 Axiom 2 <\/td>\n<\/tr>\n
19<\/td>\n6.6.3 Axiom 3
6.6.4 Axiom 4
6.6.5 Axiom 5
6.6.6 Axiom 6
7 Occurrence tree core theory <\/td>\n<\/tr>\n
20<\/td>\n7.1 Primitive Relations
7.2 Primitive Functions
7.3 Relationship to other sets of axioms
7.4 Informal Semantics of the Occurrence tree core theory
7.4.1 earlier
7.4.2 initial <\/td>\n<\/tr>\n
21<\/td>\n7.4.3 legal
7.4.4 poss
7.4.5 precedes
7.4.6 successor
7.5 Axioms for the Occurrence tree core theory
7.5.1 Axiom 1 <\/td>\n<\/tr>\n
22<\/td>\n7.5.2 Axiom 2
7.5.3 Axiom 3
7.5.4 Axiom 4
7.5.5 Axiom 5
7.5.6 Axiom 6
7.5.7 Axiom 7
7.5.8 Axiom 8 <\/td>\n<\/tr>\n
23<\/td>\n7.5.9 Axiom 9
7.5.10 Axiom 10
7.5.11 Axiom 11
7.5.12 Axiom 12
7.5.13 Axiom 13
7.5.14 Axiom 14
7.5.15 Definition 1 <\/td>\n<\/tr>\n
24<\/td>\n7.5.16 Definition 2
8 Discrete state core theory
8.1 Primitive categories in the Discrete state core theory
8.2 Primitive relations in the Discrete state core theory
8.3 Relationship to other sets of axioms
8.4 Informal semantics of the Discrete state core theory
8.4.1 state <\/td>\n<\/tr>\n
25<\/td>\n8.4.2 holds
8.4.3 prior
8.5 Axioms for the Discrete state core theory
8.5.1 Axiom 1
8.5.2 Axiom 2
8.5.3 Axiom 3
8.5.4 Axiom 4 <\/td>\n<\/tr>\n
26<\/td>\n8.5.5 Axiom 5
8.5.6 Axiom 6
8.5.7 Axiom 7
9 Atomic activity core theory
9.1 Primitive Relations in the Atomic activity core theory
9.2 Primitive Functions in the Atomic activity core theory
9.3 Relationship to other sets of axioms <\/td>\n<\/tr>\n
27<\/td>\n9.4 Informal semantics of the Atomic activity core theory
9.4.1 atomic
9.4.2 conc
9.5 Definitions in Atomic activity core theory
9.6 Axioms of the Atomic activity core theory
9.6.1 Axiom 1
9.6.2 Axiom 2
9.6.3 Axiom 3 <\/td>\n<\/tr>\n
28<\/td>\n9.6.4 Axiom 4
9.6.5 Axiom 5
9.6.6 Axiom 6
9.6.7 Axiom 7
9.6.8 Axiom 8
9.6.9 Axiom 9
10 Complex activity core theory <\/td>\n<\/tr>\n
29<\/td>\n10.1 Primitive Relations in the Complex activity core theory
10.2 Defined Relations in the Complex activity core theory
10.3 Relationship to other sets of axioms
10.4 Informal Semantics of the Complex activity core theory
10.4.1 minp_recedes <\/td>\n<\/tr>\n
30<\/td>\n10.4.2 root
10.4.3 subtree
10.4.4 leaf
10.4.5 do
10.4.6 next subocc
10.4.7 sibling <\/td>\n<\/tr>\n
31<\/td>\n10.5 Definitions in Complex activity core theory
10.5.1 Definition 1
10.5.2 Definition 2
10.5.3 Definition 3
10.5.4 Definition 4
10.5.5 Definition 5 <\/td>\n<\/tr>\n
32<\/td>\n10.6 Axioms of the Complex activity core theory
10.6.1 Axiom 1
10.6.2 Axiom 2
10.6.3 Axiom 3
10.6.4 Axiom 4 <\/td>\n<\/tr>\n
33<\/td>\n10.6.5 Axiom 5
10.6.6 Axiom 6
10.6.7 Axiom 7
10.6.8 Axiom 8
10.6.9 Axiom 9
10.6.10 Axiom 10 <\/td>\n<\/tr>\n
34<\/td>\n10.6.11 Axiom 11
11 Activity occurrence core theory
11.1 Primitive Relations in the Activity occurrence core theory
11.2 Defined Relations in the Activity occurrence core theory
11.3 Relationship to other sets of axioms
11.4 Informal Semantics of the Activity occurrence core theory
11.4.1 subactivityoccurrence <\/td>\n<\/tr>\n
35<\/td>\n11.4.2 mono
11.4.3 root_occ
11.4.4 leaf_occ
11.4.5 iso_occ
11.4.6 hom <\/td>\n<\/tr>\n
36<\/td>\n11.4.7 same_grove
11.5 Definitions for Activity occurrence core theory
11.5.1 Definition 1
11.5.2 Definition 2
11.5.3 Definition 3
11.5.4 Definition 3 <\/td>\n<\/tr>\n
37<\/td>\n11.5.5 Definition 4
11.5.6 Definition 5
11.6 Axioms for Activity occurrence core theory
11.6.1 Axiom 1
11.6.2 Axiom 2
11.6.3 Axiom 3 <\/td>\n<\/tr>\n
38<\/td>\n11.6.4 Axiom 4
11.6.5 Axiom 5
11.6.6 Axiom 6
11.6.7 Axiom 7
11.6.8 Axiom 8 <\/td>\n<\/tr>\n
39<\/td>\n11.6.9 Axiom 9
11.6.10 Axiom 10
11.6.11 Axiom 11
11.6.12 Axiom 12
11.6.13 Axiom 13
11.6.14 Axiom 14
11.6.15 Axiom 15 <\/td>\n<\/tr>\n
41<\/td>\nAnnex A (normative) Use of ASN.l Identifiers in SC4 standards <\/td>\n<\/tr>\n
42<\/td>\nAnnex B (informative) Relationship to Situation Calculus <\/td>\n<\/tr>\n
43<\/td>\nAnnex C (informative) Example of process description using PSL-Outercore <\/td>\n<\/tr>\n
48<\/td>\nBibliography <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Industrial automation systems and integration. Process specification language – Outer core<\/b><\/p>\n\n\n\n\n
Published By<\/td>\nPublication Date<\/td>\nNumber of Pages<\/td>\n<\/tr>\n
BSI<\/b><\/a><\/td>\n2023<\/td>\n50<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"featured_media":426010,"template":"","meta":{"rank_math_lock_modified_date":false,"ep_exclude_from_search":false},"product_cat":[2641],"product_tag":[],"class_list":{"0":"post-426000","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-bsi","8":"first","9":"instock","10":"sold-individually","11":"shipping-taxable","12":"purchasable","13":"product-type-simple"},"_links":{"self":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product\/426000","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/types\/product"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media\/426010"}],"wp:attachment":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media?parent=426000"}],"wp:term":[{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_cat?post=426000"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_tag?post=426000"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}