理解Parikh映射与Petri网络
Parikh映射是一种将有限域中的包与向量之间建立自然对应关系的方法。对于有限域D中的每个包B和一个n-向量f=(f1, ..., fn)，Parikh映射定义了向量fi = #(di, B)，其中#(di, B)表示包B中元素di的数量。这个向量被称为Parikh映射。
文件大小：47.22MB
评论区