PIPE+Verifier - A Tool for Analyzing High Level Petri Nets.

Su Liu Xudong He

Published in: SEKE (2015)

Keyphrases

data sets
neural network
real world
bayesian networks
social media
recent advances
software tools
analysis tool