High Level Net Systems: Pr/T-system
摘要
S-elements of Pr/T-systems are connected with predicates. A token held by an S-element makes the predicate true.