The following pages link to Structural Analysis of Petri Nets (Q5496929):
Displaying 5 items.
- A comparative analysis of recent identification approaches for discrete-event systems (Q1958833) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- (Q4807466) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
