您要查找的是不是:
- This paper present an algorithm for transfer a PNO model with precise marking into a SMV program, and demonstrates the process through a case of Train Operation Petri Net with Objects (TOPNO). 本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程。
- petri net with objects 带有对象的Petri网
- I can tap it over the net with a backhand ahot. 我可以用反手拍打击将球打过网。
- Modeling of the EEE802.2 LLC Type 3 Protocol Based on Time Petri Net with Inhibitor Arcs 基于带抑止弧时间Petri网的IEEE802.;2LLC3型协议的建模
- I can tap it over the net with a backhand shot. 我可以用反手拍打击将打过网。
- In carton of 10kgs, net with one poly-bag. 纸箱装,每箱净重10公斤,内裱--塑料袋
- I can tap it over the net with a backha nd shot. 我可以用反手拍打击将打过网。
- It is a net with half- inch mesh. 这是有半英寸网眼的网。
- He sent the ball into the net with a powerful kick. 他一脚猛射,球破门而入。
- He served the bird over the net with a strong shot. 他用力把羽毛球打过网。
- To work with objects, you use commands on the Drawing toolbar. 要处理对象,可以使用“绘图”工具栏上的命令。
- The drift line is littered with objects abandoned by the waves. 漂流线当作目标被随意的放着并随波起伏。
- Petri net with inhibitor arcs 抑止弧Petri网
- This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation. 本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。
- With object pooling, the pool can create a new object. 采用对象池时,池可以创建新对象。
- Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling. Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。
- Work with Object to add the instance to the EJB Beans list. 将该实现添加到EJB Beans列表中。
- Petri net becomes the extended Petri net (EPN) by introducing the extended description of timed places and tokens. 通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);
- Surfing the net with her, playing the same video game. 和她一起上网,玩一个游戏。