workflow nets with filtered out sockets (some of them)