DP can also be used to solve certain problems associated with Petri net
models. As we note below, Werner (2006) uses DP to solve a critical path
problem arising from a Petri net model, and Popova-Zeugmann (2006) uses DP
to reduce the number of states associated with a Petri net model. We briefly
review basic Petri net concepts below.