• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Native Approach to Modeling Timed Behavior in the Pi-Calculus.

Kamal BarakatStefan KowalewskiThomas Noll
Published in: TASE (2012)
Keyphrases
  • petri net
  • neural network
  • discrete event
  • colored petri nets
  • genetic algorithm
  • artificial intelligence
  • bayesian networks
  • expressive power
  • behavior analysis
  • behavior patterns
  • timed automata