Non-interference by Unfolding.

Paolo Baldan Alberto Carraro

Published in: Petri Nets (2014)

Keyphrases

petri net
data sets
power line
computer vision
management system
multipath
real time
neural network
data mining
information retrieval
web services
feature extraction
cooperative
object recognition