Pages that link to "Item:Q351736"
From MaRDI portal
The following pages link to Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736):
Displaying 7 items.
- A framework for compositional nonblocking verification of extended finite-state machines (Q262429) (← links)
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261) (← links)
- On the computation of counterexamples in compositional nonblocking verification (Q2197583) (← links)
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
- Progressive events in supervisory control and compositional verification (Q5257781) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Compositional non-blockingness verification of finite automata with prioritised events (Q6544792) (← links)
