Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers |
scientific article |
Statements
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (English)
0 references
27 August 2015
0 references
Petri net
0 references
Petri net transducer
0 references
weighted transducer
0 references
labelled partial order
0 references
weighted labelled partial order
0 references
partial language
0 references
semiring
0 references
bi-semiring
0 references
concurrent semiring
0 references
cleanness
0 references
