Diane

Decomposing Petri nets
A small overview over Diane's purpose

Diane is a tool to decompose Petri nets.