Slimming down Petri boxes: compact Petri net models of control flows (Q6587113)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Slimming down Petri boxes: compact Petri net models of control flows |
scientific article; zbMATH DE number 7896541
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Slimming down Petri boxes: compact Petri net models of control flows |
scientific article; zbMATH DE number 7896541 |
Statements
Slimming down Petri boxes: compact Petri net models of control flows (English)
0 references
13 August 2024
0 references
Petri net
0 references
Petri box
0 references
cograph
0 references
edge clique cover
0 references
control flow
0 references
static construction
0 references
local construction
0 references
interface graph
0 references
burst automata
0 references
composition
0 references
