Travelled to:
1 × Korea
Collaborated with:
D.Liu M.Zhou
Talks about:
general (1) enforc (1) petri (1) class (1) live (1) iter (1) net (1)
Person: Yifan Hou
DBLP: Hou:Yifan
Contributed to:
Wrote 1 papers:
- CASE-2012-HouLZ #on the #petri net
- On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.