Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations.

Dongming Xiang, Guanjun Liu, ChunGang Yan, Changjun Jiang

Browse the full ICPADS paper archive.