An efficient path based equivalence checking for Petri net based models of programs.

Soumyadip Bandyopadhyay Dipankar Sarkar Chittaranjan A. Mandal

Published in: ISEC (2016)

Keyphrases

statistical models
probabilistic model
neural network
model selection
machine learning
genetic algorithm
image segmentation
high level
multi agent
data structure
prior knowledge
statistical model
experimental data