🔥🔥 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/IEC 15909-3:2021

BS ISO/IEC 15909-3:2021

$142.49

Systems and software engineering. High-level Petri nets – Extensions and structuring mechanisms

Published By Publication Date Number of Pages
BSI 2021 24
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Category:

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 undefined
6 Foreword
7 Introduction
8 1 Scope
2 Normative references
9 3 Terms and definitions
4 Conformance
4.1 General
4.2 Enrichment process
4.3 Extension process
10 4.4 Structuring mechanism
5 Enrichment process
5.1 General
5.2 Instances of enrichment
5.2.1 General
5.2.2 Inhibitor arcs
11 5.2.3 Reset arcs
5.2.4 Read arcs
12 5.2.5 Capacity places
5.3 Generalized enrichment process
5.3.1 General
5.3.2 Definition of Petri nets with enrichment
13 5.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
14 6.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
15 6.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
16 7.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
17 7.3.3 Definition of module definition
18 7.3.4 Definition of signature and homomorphisms 
7.3.5 Definition of variables
19 7.3.6 Definition of algebra
7.3.7 Definition of places and transitions 
20 Annex A (informative) Guidelines for graphical notations
22 Bibliography

Related products

BS ISO/IEC 15909-3:2021
$142.49