Li Jiao

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Switching controller synthesis for delay hybrid systems under perturbations	2024-02-21	Paper
Synthesizing SystemC Code from Delay Hybrid CSP	2022-12-09	Paper
Abstraction-based incremental inductive coverability for Petri nets	2022-03-21	Paper
Switching controller synthesis for time-delayed hybrid systems	2022-03-21	Paper
Approximate bisimulation and discretization of hybrid CSP	2020-01-03	Paper
Difference Bound Constraint Abstraction for Timed Automata Reachability Checking	2016-10-19	Paper
Trace Abstraction Refinement for Timed Automata	2015-12-17	Paper
Using transition set sequences to partition behaviors of Petri nets	2012-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q3171794	2011-10-05	Paper
Property-Preserving Petri Net Process Algebra in Software Engineering	2011-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q3164681	2010-11-05	Paper
Canonical Transition Set Semantics for Petri Nets	2010-06-22	Paper
A note on regular Petri nets	2010-06-09	Paper
A precongruence format for should testing preorder	2010-05-27	Paper
Refining and verifying regular Petri nets	2008-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q3431091	2007-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5469518	2006-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q3367861	2006-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q5718897	2006-01-16	Paper
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties	2005-10-19	Paper
On liveness and boundedness of asymmetric choice nets	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3045261	2004-08-12	Paper
Notes on liveness and boundedness of extended strong asymmetric choice nets. II	2002-04-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Li Jiao