Collaborated with:F.Lu Q.Zeng H.Zhang J.An
Talks about:support (2) invari (2) comput (1) petri (1) minim (1) decid (1) net (1)
Person: Yunxia Bao
DBLP: Bao:Yunxia
Contributed to:
2012Wrote 1 papers:
- SEKE-2012-LuZZBA #decidability #invariant #petri net
- Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.