{"id":386050,"date":"2024-10-20T03:33:37","date_gmt":"2024-10-20T03:33:37","guid":{"rendered":"https:\/\/pdfstandards.shop\/product\/uncategorized\/bs-iso-iec-15909-32021\/"},"modified":"2024-10-26T06:29:19","modified_gmt":"2024-10-26T06:29:19","slug":"bs-iso-iec-15909-32021","status":"publish","type":"product","link":"https:\/\/pdfstandards.shop\/product\/publishers\/bsi\/bs-iso-iec-15909-32021\/","title":{"rendered":"BS ISO\/IEC 15909-3:2021"},"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
PDF Pages<\/th>\nPDF Title<\/th>\n<\/tr>\n
2<\/td>\nundefined <\/td>\n<\/tr>\n
6<\/td>\nForeword <\/td>\n<\/tr>\n
7<\/td>\nIntroduction <\/td>\n<\/tr>\n
8<\/td>\n1 Scope
2 Normative references <\/td>\n<\/tr>\n
9<\/td>\n3 Terms and definitions
4 Conformance
4.1 General
4.2 Enrichment process
4.3 Extension process <\/td>\n<\/tr>\n
10<\/td>\n4.4 Structuring mechanism
5 Enrichment process
5.1 General
5.2 Instances of enrichment
5.2.1 General
5.2.2 Inhibitor arcs <\/td>\n<\/tr>\n
11<\/td>\n5.2.3 Reset arcs
5.2.4 Read arcs <\/td>\n<\/tr>\n
12<\/td>\n5.2.5 Capacity places
5.3 Generalized enrichment process
5.3.1 General
5.3.2 Definition of Petri nets with enrichment <\/td>\n<\/tr>\n
13<\/td>\n5.3.3 Definition of enabling rule for Petri nets with enrichment
5.3.4 Filtering function for enrichment
5.3.5 Firing rule for Petri nets with enrichment
5.3.6 Compatibility with extensions
6 Extension process
6.1 General
6.2 An instance of extension: FIFO nets
6.2.1 General <\/td>\n<\/tr>\n
14<\/td>\n6.2.2 Definition of FIFO nets
6.2.3 Behavioural semantics
6.2.4 Definition of equivalent high-level Petri net
6.2.5 Compatibility with enrichments
6.3 The generalized extension process
6.3.1 General <\/td>\n<\/tr>\n
15<\/td>\n6.3.2 Definition of the net type
6.3.3 Definition of the behavioural semantics
7 Structuring mechanism
7.1 General
7.2 Module definition
7.2.1 Definition of sort generator <\/td>\n<\/tr>\n
16<\/td>\n7.2.2 Definition of module interface
7.2.3 Definition of module implementation
7.3 Module instantiation
7.3.1 General
7.3.2 Definition of module instances and uses <\/td>\n<\/tr>\n
17<\/td>\n7.3.3 Definition of module definition <\/td>\n<\/tr>\n
18<\/td>\n7.3.4 Definition of signature and homomorphisms \ufffc
7.3.5 Definition of variables <\/td>\n<\/tr>\n
19<\/td>\n7.3.6 Definition of algebra
7.3.7 Definition of places and transitions \ufffc <\/td>\n<\/tr>\n
20<\/td>\nAnnex A (informative) Guidelines for graphical notations <\/td>\n<\/tr>\n
22<\/td>\nBibliography <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Systems and software engineering. High-level Petri nets – Extensions and structuring mechanisms<\/b><\/p>\n\n\n\n\n
Published By<\/td>\nPublication Date<\/td>\nNumber of Pages<\/td>\n<\/tr>\n
BSI<\/b><\/a><\/td>\n2021<\/td>\n24<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"featured_media":386060,"template":"","meta":{"rank_math_lock_modified_date":false,"ep_exclude_from_search":false},"product_cat":[2641],"product_tag":[],"class_list":{"0":"post-386050","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\/386050","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\/386060"}],"wp:attachment":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media?parent=386050"}],"wp:term":[{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_cat?post=386050"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_tag?post=386050"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}