Piecewise deterministic Markov processes represented by dynamically coloured Petri nets (Q5460723)
From MaRDI portal
scientific article; zbMATH DE number 2187546
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Piecewise deterministic Markov processes represented by dynamically coloured Petri nets |
scientific article; zbMATH DE number 2187546 |
Statements
Piecewise deterministic Markov processes represented by dynamically coloured Petri nets (English)
0 references
18 July 2005
0 references
high-level Petri nets
0 references
hybrid systems
0 references
modelling
0 references
Poisson process
0 references
discrete event systems
0 references
