Generalised batches Petri net: Hybrid model for high speed systems with variable delays (Q5928919)
From MaRDI portal
scientific article; zbMATH DE number 1587743
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalised batches Petri net: Hybrid model for high speed systems with variable delays |
scientific article; zbMATH DE number 1587743 |
Statements
Generalised batches Petri net: Hybrid model for high speed systems with variable delays (English)
0 references
18 September 2001
0 references
The complete formalism (definition, batch dynamics, evolution rules, calculation of instanteneous firing flows, behavior algorithm) for Generalized Batches Petri Net (GBPN) is developed systematically. A technique for the analysis of GBPN (evolution graph, quantity vector, fundamental equations, invariants (for places and transitions)) is designed. The possibility of presentation of the phenomena of synchronization, parallelism and proportion of batches in GBPN is illustrated via examples.
0 references
hybrid Petri nets
0 references
hybrid speed systems
0 references
modelling
0 references
performance analysis
0 references
supervisory control
0 references
generalized batches Petri net
0 references
