Minimal Cost Reachability/Coverability in Priced Timed Petri Nets.

Parosh Aziz Abdulla Richard Mayr

Published in: FoSSaCS (2009)

Keyphrases

minimal cost
timed petri nets
discrete event systems
petri net
mathematical modeling
state space
endpoints
feasible solution
discrete event
network flow problem
dynamical systems
model based diagnosis
telecommunication networks
complex systems
simulation model
finite buffer
reinforcement learning