Top-down synthesis of live and bounded free choice nets.

Javier Esparza Manuel Silva Suárez

Published in: Applications and Theory of Petri Nets (1990)

Keyphrases

program synthesis
genetic algorithm
medical images
search engine
computer vision
high level
multi agent