Yunhe Wang
List of publications from the
DBLP Bibliography Server
-
FAQ
Other views:
by type
-
by year
(modern) -
classic-C
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
2012
j1
Yunhe Wang
,
Li Jiao
:
Using transition set sequences to partition behaviors of petri nets.
Acta Inf. 49
(1): 15-28 (2012)
2010
c2
Yunhe Wang
,
Li Jiao
:
Canonical Transition Set Semantics for Petri Nets.
Petri Nets 2010
: 84-103
c1
Yunhe Wang
,
Bo Jiang
,
Li Jiao
:
Property Checking for 1-Place-Unbounded Petri Nets.
TASE 2010
: 117-125
Coauthor Index
1
Bo Jiang
[c1]
2
Li Jiao
[j1]
[c2]
[c1]
Last update Wed May 22 20:14:49 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page