Dongming Xiang, GuanJun Liu, ChunGang Yan, Changjun Jiang. DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net. In 14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017, Calabria, Italy, May 16-18, 2017. pages 115-120, IEEE, 2017. [doi]
Abstract is missing.