Petri nets; graph colouring; control system CAD; XML; Java; parallel programming; program verification; digital simulation; design verification; 3DES encipher chip; extended Petri net; XML; Java executor; parallel system design; logical coloured Petri net; system description; place/transition nets; complex control systems; server system behaviour; Java program simulation; parallel system modelling;
机译:基于扩展Petri网和XML工具的网络文件服务器建模
机译:基于扩展Petri网和XML工具的网络文件服务器建模
机译:基于扩展的Petri网和XML工具的网络文件服务器过程的建模和实现
机译:基于扩展Petri Net和XML / Java Executor的3DES寄生芯片的设计验证
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:XRL / Woflan:用于组织间工作流的基于XmL / petri网的语言的验证和可扩展性
机译:使用XmL技术将petri网应用于系统生物学