Lean reachability tree for Petri net analysis
- Jun Li
- , Xiaolong Yu
- , Mengchu Zhou
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3
Link opens in a new tab
Scopus
citations