Canonical Transition Set Semantics for Petri Nets. - Yunhe Wang 003; Li Jiao (Petri Nets, 2010)

Property Checking for 1-Place-Unbounded Petri Nets. - Yunhe Wang 003; Bo Jiang; Li Jiao (TASE, 2010)

Using transition set sequences to partition behaviors of petri nets. - Yunhe Wang 003; Li Jiao (Acta Informatica, 2012)