Deciding Life-Cycle Inheritance on Petri Nets (Q3550611)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding Life-Cycle Inheritance on Petri Nets |
scientific article |
Statements
Deciding Life-Cycle Inheritance on Petri Nets (English)
0 references
31 March 2010
0 references
object-orientation
0 references
workflow
0 references
life-cycle inheritance
0 references
branching bisimilarity
0 references
backtracking
0 references
Petri nets
0 references
structural properties
0 references
T-invariants
0 references
