Login / Signup

Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets.

Parisa HeidariHanifa Boucheneb
Published in: ACSD (2010)
Keyphrases
  • petri net
  • petri net model
  • artificial intelligence
  • mathematical model
  • neural network
  • cellular automata
  • stochastic petri net