Phase semantics and Petri net interpretation for resource-sensitive strong negation
scientific article; zbMATH DE number 5532509