以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  请教一个关于着色Petri的问题!  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=23447)


--  作者:smartslliu
--  发布时间:10/22/2005 11:12:00 AM

--  请教一个关于着色Petri的问题!
有一个关于着色Petri网的问题,请教各位大师!问题描述如下:

假设颜色集{编号,位置,坐标},库所A,B;变迁T(功能是把位置转换为坐标),A是T的输入,B是输出;假设A的颜色是{编号,位置},B的颜色为{编号,坐标},怎么利用着色Petri表达T利用了A的“位置”在B中产生了颜色“坐标”。其中颜色“编号”是控制变量。
谢谢!


W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
144.531ms