Dynamic Slicing Techniques for Petri Nets (Q4982092)
From MaRDI portal
scientific article; zbMATH DE number 6418601
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic Slicing Techniques for Petri Nets |
scientific article; zbMATH DE number 6418601 |
Statements
Dynamic Slicing Techniques for Petri Nets (English)
0 references
23 March 2015
0 references
Petri nets
0 references
program slicing
0 references
reachability analysis
0 references
