Reduction rules for reset/inhibitor nets

From MaRDI portal
Publication:847264