1) predicate/transition system
谓词/变迁系统
1.
In this paper,predicate/transition system is used as the framework model of computational grid in h.
但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。
2) predicate/transition net
谓词/变迁网
3) predicate transition net
谓词变迁网
4) Predicate/transition Petri net
谓词/变迁Petri网
5) Hierarchical Predicate Transition Nets(HPrTNs)
层次谓词变迁网
6) Predicate/Transition Petri-Net
谓词/变迁Petri-Net
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条