On Weighted Petri Net Transducers (Q5166767): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4721639 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Handbook of weighted automata / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The equational theory of pomsets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3922196 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Concurrent Kleene algebra and its foundations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Branching automata with costs -- a way of reflecting parallelism in costs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Modeling concurrency with partial orders / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Extending Petri nets for specifying man–machine dialogues / rank | |||
Normal rank | |||
Latest revision as of 17:20, 8 July 2024
scientific article; zbMATH DE number 6314348
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Weighted Petri Net Transducers |
scientific article; zbMATH DE number 6314348 |
Statements
On Weighted Petri Net Transducers (English)
0 references
8 July 2014
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
bisemiring
0 references
concurrent semiring
0 references
cleanness
0 references
