Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis.

Sarah L. Hickmott Sebastian Sardiña

Published in: ICAPS (2009)

Keyphrases

petri net
formal analysis
story generation
manufacturing systems
discrete event systems
petri net model
colored petri nets
web service composition
ims ld
service composition
formal methods
stochastic petri net
fuzzy petri net
process model
artificial intelligence
machine learning
agent model
learning objects