|
关注:1
2013-05-23 12:21
求翻译:the reduction techniques in step 3 are well known, and preserve prop-erties such as boundedness, liveness, and reversibility. For step 4,if place p is bounded in accordance with M(p) } b, say, then p is modeled by a buffer with capacity b (i.e. b+1 states). For example if an APN place has a token capacity of 3, then it是什么意思?![]() ![]() the reduction techniques in step 3 are well known, and preserve prop-erties such as boundedness, liveness, and reversibility. For step 4,if place p is bounded in accordance with M(p) } b, say, then p is modeled by a buffer with capacity b (i.e. b+1 states). For example if an APN place has a token capacity of 3, then it
问题补充: |
|
2013-05-23 12:21:38
在步骤3中的还原技术是众所周知的,并且保存丙ERTIES如界性,活性,和可逆性。
|
|
2013-05-23 12:23:18
在第3步的减少技术是知名的,并且保存物产例如有界性、实时和反演性。对于第4步,如果地方p一定符合M (p)} b然后p由缓冲塑造以容量b (即b+1状态)。例如,如果APN地方有象征性的容量3,然后它可以由4个状态代表。
|
|
2013-05-23 12:24:58
减少技术在第3步是知名的,并且保存物产例如有界性、实时和反演性。 为第4步,如果地方p一定与M( p) ) b符合然后p由缓冲塑造以容量b (即。 b+1状态)。 例如,如果APN地方有象征性的容量3,然后它可以由4个状态代表。 读者提到 (26) 为关于这变革的详细信息。在第5步,次级植物PLANTm APN模型 () 与每一个规格有关是坚定的。 要做此,规格逐个考虑与工厂模型,并且相关设备部件APN模型被表明。
|
|
2013-05-23 12:26:38
正在翻译,请等待...
|
|
2013-05-23 12:28:18
正在翻译,请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区