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

Kamal Barakat Stefan Kowalewski Thomas 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