The following pages link to Olivia Oanea (Q1944125):
Displayed 7 items.
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Verifying Generalized Soundness of Workflow Nets (Q3401950) (← links)
- New Algorithms for Deciding the Siphon-Trap Property (Q3569871) (← links)
- Nested Nets for Adaptive Systems (Q3618708) (← links)
- (Q4807466) (← links)
- (Q5422282) (← links)
- (Q5699482) (← links)