S-invariant analysis of general recursive Petri boxes
scientific article; zbMATH DE number 778291