Login / Signup
Yunhe Wang
Publication Activity (10 Years)
Years Active: 2010-2012
Publications (10 Years): 0
Top Topics
Petri Net
Discrete Event Systems
Top Venues
Acta Informatica
</>
Publications
</>
Yunhe Wang
,
Li Jiao
Using transition set sequences to partition behaviors of petri nets.
Acta Informatica
49 (1) (2012)
Yunhe Wang
,
Li Jiao
Canonical Transition Set Semantics for Petri Nets.
Petri Nets
(2010)
Yunhe Wang
,
Bo Jiang
,
Li Jiao
Property Checking for 1-Place-Unbounded Petri Nets.
TASE
(2010)