Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.

Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An

Browse the full SEKE paper archive.