Service net algebra based on logic Petri nets
scientific article; zbMATH DE number 6602271