Sign in

Timed Circus: Timed CSP with the Miracle.

Kun WeiJim WoodcockAlan Burns
Published in: ICECCS (2011)
Keyphrases
  • petri net
  • timed automata
  • discrete event
  • constraint satisfaction problems
  • constraint satisfaction
  • colored petri nets
  • database
  • neural network
  • genetic algorithm
  • dynamic systems
  • finite state machines