A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q85 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q60 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 2184044 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Formal methods | |||
| Property / zbMATH Keywords: Formal methods / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Software specification | |||
| Property / zbMATH Keywords: Software specification / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Concurrent systems | |||
| Property / zbMATH Keywords: Concurrent systems / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Process algebra | |||
| Property / zbMATH Keywords: Process algebra / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Timed Petri nets | |||
| Property / zbMATH Keywords: Timed Petri nets / rank | |||
Normal rank | |||
Revision as of 15:09, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets |
scientific article |
Statements
A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (English)
0 references
30 June 2005
0 references
Formal methods
0 references
Software specification
0 references
Concurrent systems
0 references
Process algebra
0 references
Timed Petri nets
0 references
