Determinization of timed Petri nets behaviors (Q312642): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 93C65 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 93A13 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 15A80 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6627800 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
timed Petri nets | |||
| Property / zbMATH Keywords: timed Petri nets / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
\((\max, +)\) automata | |||
| Property / zbMATH Keywords: \((\max, +)\) automata / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
determinization | |||
| Property / zbMATH Keywords: determinization / rank | |||
Normal rank | |||
Revision as of 00:18, 28 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Determinization of timed Petri nets behaviors |
scientific article |
Statements
Determinization of timed Petri nets behaviors (English)
0 references
16 September 2016
0 references
timed Petri nets
0 references
\((\max, +)\) automata
0 references
determinization
0 references
