Login / Signup

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations.

Zuohua DingYuan ZhouMengChu Zhou
Published in: IEEE Trans Autom. Sci. Eng. (2015)
Keyphrases
  • knowledge based systems
  • petri net
  • concurrent systems
  • artificial intelligence
  • optimal solution
  • mathematical model
  • temporal logic
  • data sets
  • distributed systems
  • dynamic systems
  • formal methods