A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges.

Yuhua Xu Yuyue Du Liang Qi Wenjing Luan Lu Wang

Published in: IEEE Access (2019)

Keyphrases

experimental data
probabilistic model
computational model
high level
formal model
objective function
databases
theoretical analysis
theoretical framework
input data
logical framework
object model
mathematical model
probability distribution
expert systems
case study
information systems
learning algorithm