The following pages link to Li Jiao (Q238030):
Displayed 23 items.
- Using transition set sequences to partition behaviors of Petri nets (Q766188) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- A note on regular Petri nets (Q975419) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- Abstraction-based incremental inductive coverability for Petri nets (Q2117187) (← links)
- Approximate bisimulation and discretization of hybrid CSP (Q2281663) (← links)
- Difference Bound Constraint Abstraction for Timed Automata Reachability Checking (Q2827453) (← links)
- Property-Preserving Petri Net Process Algebra in Software Engineering (Q3008954) (← links)
- (Q3045261) (← links)
- (Q3164681) (← links)
- (Q3171794) (← links)
- (Q3367861) (← links)
- (Q3431091) (← links)
- Trace Abstraction Refinement for Timed Automata (Q3457811) (← links)
- Canonical Transition Set Semantics for Petri Nets (Q3569863) (← links)
- Synthesizing SystemC Code from Delay Hybrid CSP (Q5055993) (← links)
- Switching controller synthesis for time-delayed hybrid systems (Q5064257) (← links)
- Refining and verifying regular Petri nets (Q5451165) (← links)
- (Q5469518) (← links)
- Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties (Q5696930) (← links)
- (Q5718897) (← links)
- Notes on liveness and boundedness of extended strong asymmetric choice nets. II (Q5959363) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)