A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets
scientific article; zbMATH DE number 1387442