Reachability of Communicating Timed Processes

Lorenzo Clemente Frédéric Herbreteau Amélie Stainer Grégoire Sutre

Published in: CoRR (2012)

Keyphrases

communication channels
petri net
state space
machine learning
decision making
search algorithm
hidden markov models
software engineering
process model
computational models