Login / Signup

The new method of liveness verification with Object-Oriented Timed Petri Nets.

Xinju ZhangShuzhen Yao
Published in: ICACI (2015)
Keyphrases
  • theoretical analysis
  • neural network
  • artificial neural networks
  • mathematical model
  • special case
  • dynamic programming
  • fuzzy logic