Deciding Life-Cycle Inheritance on Petri Nets (Q3550611)
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: Deciding Life-Cycle Inheritance on Petri Nets |
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
