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
Switching controller synthesis for time-delayed hybrid systems	2022-03-21	Paper
Abstraction-based incremental inductive coverability for Petri nets	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

This page was built for person: Li Jiao