Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets
SEKE, 2012.
@inproceedings{SEKE-2012-LuZZBA,
author = "Faming Lu and Qingtian Zeng and Hao Zhang and Yunxia Bao and Jiufang An",
booktitle = "{Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-31-4",
pages = "340--345",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets}",
year = 2012,
}