Stubborn sets aree a tool for state space reduction preserving certain system properties. We present stubborn set approaches
for all popular Petri net standard properties. This extends the list of properties that can be analysed successfully (including
boundedness, reversibility). For other properties, our approach can lead to larger reductions (reachability) than previous
ones. Futhermore, shortest and cheapest witness paths for several properties are now preservered.
Keywords (Theory) Analysis of nets - Computer tools for nets