Complete Process Semantics for Inhibitor Nets.

Gabriel Juhás Robert Lorenz Sebastian Mauser

Published in: ICATPN (2007)

Keyphrases

real time
high level
search algorithm
domain knowledge
software engineering
neural network
search engine
case study
data structure