Title: Towards a Net-Theoretic Notion of Type based on Predicate-Transition Nets