Sign in
Synthesis of Nets with Step Firing Policies.
Philippe Darondeau
Maciej Koutny
Marta Pietkiewicz-Koutny
Alexandre Yakovlev
Published in:
Petri Nets (2008)
Keyphrases
</>
post processing
program synthesis
optimal policy
neural network
database
databases
information retrieval
information systems
image sequences
probabilistic model
sufficient conditions
preprocessing step
multi step