Correctness analysis of Petri net based logic controllers.

Georg Frey Lothar Litz

Published in: ACC (2000)

Keyphrases

statistical analysis
data analysis
real world
database systems
database
real time
data sets
databases
neural network
image processing
image analysis
control system
logic programming
power system