Sign in

Operational analysis of timed Petri nets and application to the computation of performance bounds.

Giovanni ChiolaCosimo AnglanoJavier CamposJosé Manuel ColomManuel Silva Suárez
Published in: PNPM (1993)
Keyphrases
  • neural network
  • machine learning
  • artificial intelligence
  • data analysis
  • petri net
  • model checking
  • discrete event systems