A well-structured framework for analysing Petri net extensions
scientific article; zbMATH DE number 2136249
scientific article