Collaborated with:Q.Zeng H.Zhang Y.Bao J.An
Talks about:support (2) invari (2) comput (1) petri (1) minim (1) decid (1) net (1)
Person: Faming Lu
DBLP: Lu:Faming
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.