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

Dongming Xiang Guanjun Liu ChunGang Yan Changjun Jiang

Published in: ICPADS (2016)

Keyphrases

petri net
concurrent systems
data analysis
building blocks
e learning
knowledge base
low cost
data processing
temporal logic