| 单词 | Petri nets | ||||||||||||||
| 释义 | Petri nets
更多释义 收起释义 例句释义: 里网,派翠网,派翠网路 1. then CTL based colored Petri nets model checking approach is applied to verify Web service compositions for error detection. 然后使用着色Petri网的模型检测技术分析、验证具体的组合Web服务，发现其中潜在的逻辑错误。 www.say666.com 2. But for all the extended Petri nets in the state of art, there is little discussion in the global resource constraints. 但是目前的各种扩展中，对于资源方面的全局约束，没有太多的讨论。 www.boshuo.net 3. We redefine the correctness of a personal process and address the verification method based on Petri Nets. 我们重新定义了个人工作流的正确性，并且提出在派翠网上的检验方法。 dictsearch.appspot.com 4. Development of automated operating procedure system using fuzzy colored Petri nets for nuclear power plants. 核电厂采用模糊有色皮特里网络进行自动化运行程序系统开发…[中国核科技信息与经济研究院]。 210.82.31.83 5. Our experiments demonstrate the Web service verification based on colored Petri nets is more practical, reliable and effective. 3. 实验表明使用层次着色Petri网对Web服务组合验证的方法是切实、可靠、有效的。 www.say666.com 6. Modeling and Simulating an Air Defense Weapon System with Colored Petri Nets 防空武器系统的着色Petri网络建模与仿真 www.ilib.cn 7. Fuzzy Reasoning Petri Nets and Its Application to Disassembly Sequence Decision of Products 模糊推理Petri网及其在产品拆卸序列决策中的应用 www.ilib.cn 8. Reachability Analysis of Steady State for A Class of Interval Speed Continuous Petri Nets 一类区间速率连续Petri网的可达稳态分析 service.ilib.cn 9. The Temporal Reasoning of Fuzzy Time Petri Nets and Its Application in Process Supervision 模糊时间Petri网的时间推理及其在过程监测中的应用 service.ilib.cn 10. Extended Interval Temporal Logic for Undetermined Interval: Modeling and Linear Inference Using Time Petri Nets 一种不确定时段的扩展时段时序逻辑：时间Petri网模型表示和线性推理 www.ilib.cn 1. Analysis of Reachability and Prohibitibility of a Class of Coloured Petri Nets with Interval Timed Arcs 一类区段赋时弧有色Petri网的可达性和可阻断性分析 www.ilib.cn 2. Study on Petri Nets Trans-simulation and Its Core Algorithms in Highway Construction 公路施工Petri网全过程仿真及关键算法研究 ilib.cn 3. Description and Verification of Comprehensive Train Safety Monitoring System by Temporal Petri Nets 行车安全综合监控系统的时序Petri网描述及验证 www.ilib.cn 4. Study on methodology of stochastic Petri Nets for modelling and analysis of marshalling station operation system 利用随机Petri网对编组站作业系统建模及分析的研究 www.ilib.cn 5. Three-phase Timed-transition Petri Nets With The Weak Firing Rules and Their Application to Concurrent Systems 弱引发三态加时变迁Petri网及其在并发系统中应用 www.ilib.cn 6. Equivalent Computing Methods of the Service Time of the Workflow Based on Stochastic Petri Nets 基于随机Petri网的工作流服务时间的等价计算方法 ilib.cn 7. Petri Nets-based Modeling and Performance Analysis of Integrated Avionics Bus System with Emergency Message 具有紧急消息的航电总线Petri网建模与性能分析 www.ilib.cn 8. A deadlock prevention policy for FMS using Petri nets in case of failures 考虑FMS资源故障的一种死锁预防策略 ilib.cn 9. Redundant Siphon and Its Applications to Structure Control of Petri Nets 冗余信标及其在Petri网结构控制中的应用 www.ilib.cn 10. An Approach to Performance Equivalent Simplification and Analysis of Stochastic Petri Nets 一种随机Petri网性能等价化简与分析方法 ilib.cn 1. Petri Nets Based Aircraft Maintenance Disassembly and Assembly Process Planning 基于Petri网的航空维修分解装配序列规划及其应用 www.ilib.cn 2. Application of Fuzzy Petri Nets Knowledge Representation in Intrusion Detection 模糊Petri网知识表示方法在入侵检测中的应用 www.ilib.cn 3. Description and Verification of an Online Stock Trading System by Using Temporal Petri Nets 网上证券交易系统的时序Petri网描述及验证 www.ilib.cn 4. Performance Analysis of Strictly Synchronized Stochastic Petri Nets 一种紧同步随机Petri网模型的性能分析方法 www.ilib.cn 5. Application of Petri nets in telecommunication business process modeling Petri网在电信业务过程建模中的应用 ilib.cn 6. The Semantic and Behavioral Analysis of an Object-Oriented Petri Nets Model 一种面向对象Petri网模型的语义和行为分析 www.ilib.cn 7. Petri Nets Refinements and Its Application in System Modeling Petri网精细化操作及其在系统建模中的应用 www.ilib.cn 8. Synthesis of Petri Nets Shared Subnet and its Application in System Design Petri网共享子网合成及其在系统设计中的应用 www.ilib.cn 9. Conflict of Shared Resource Oriented Modelling and Scheduling of Aero-engine Assembly Using Petri Nets 基于着色Petri网的航空发动机总装作业调度研究 www.ilib.cn 10. Hierarchical Petri nets based software requirement refinement for Web service 基于分层Petri网的面向服务需求求精 www.ilib.cn 1. Modeling and Analysis of Collaborative Design Activities Using Fuzzy-Timing High-Level Petri Nets 模糊定时高级Petri网的协同设计活动建模和分析 www.ilib.cn 2. Bottle-neck Identification of Resources in Highway Construction and Its Elimination Methods Based on Petri Nets 基于Petri网的公路施工资源瓶颈识别和消除 service.ilib.cn 3. Optimization strategies of combining fuzzy Petri nets with genetic algorithm 模糊Petri网与遗传算法相结合的优化策略 www.ilib.cn 4. Specification and Verification of Security Protocol Using Colored Petri Nets 网的安全协议描述和验证 scholar.ilib.cn 5. Modeling and Reasoning of Task Collaborative Allocation Using Object-Based Fuzzy Petri Nets 对象化模糊Petri网的任务协同分配建模与推理 www.ilib.cn 6. Instantaneous Firing Speed Analysis of Interval Speed Continuous Petri Nets 区间速率连续Petri网的瞬时引发速率分析 www.ilib.cn 7. Researching Colored Petri Nets Model of Communication Based Train Control System 基于通信的列车控制系统的有色Petri网模型的研究 ilib.cn 8. Object-Oriented Real Time Temporal Colored Petri Nets Model for Discrete Event Dynamic Systems 离散事件系统的面向对象实时时态着色Petri网模型 service.ilib.cn 9. Application of Petri Nets in the control of the unpacking of tobacco leaf package with robot Petri网在机器人烟包开包控制中的应用 ilib.cn 10. A modeling and verification method for intelligent networks services with Petri nets 智能网业务中的Petri网建模及验证方法 www.ilib.cn 1. Study on Colored Petri Nets Based Simulation of Steel Structure Construction Process 基于着色Petri网的钢结构施工过程仿真研究 www.ilib.cn 2. Hierarchical Petri Nets Model and Analysis of Resource Scheduling for Grid Computing 网格计算资源调度的层次Petri网建模与分析 www.ilib.cn 3. Product-Form Approximate Solution for No-Product-Form Solution Stochastic Petri Nets 非乘积解随机Petri网的乘积形式近似求解 ilib.cn 4. Learning and Reasoning Method Using Fuzzy Coloured Petri Nets under Uncertainty 基于模糊有色Petri网的不确定性学习和推理方法 www.ilib.cn 5. Modeling and Analyzing of Resource Scheduling Scheme for Grid Computing Using Petri Nets 网格计算资源调度方案及其Petri网建模与分析 www.ilib.cn 6. Sharing Synthesis of Petri Nets-Based Resource Scheduling Scheme for Grid Computing 基于Petri网共享合成的网格计算资源调度方案 ilib.cn 7. A Hierarchic Model of Communication-based Train Control System Using Colored Petri Nets 用有色Petri网建立基于通信的列车控制系统的层次模型 ilib.cn 8. Application of ant colony algorithm in parameters optimization of fuzzy Petri nets 蚁群算法在模糊Petri网参数优化中的应用 www.ilib.cn 9. Mandatory Access Control Modeling and Security Analysis: A Petri-Nets Based Method 基于Petri网的强制访问控制模型及其安全分析 service.ilib.cn 10. Modeling Assembly Using Object-Oriented Extended Colored Petri Nets 面向对象扩展着色Petri网在装配系统中的应用 www.ilib.cn 1. Fuzzy Petri nets model oriented to enterprise energy consumption process 面向企业能源消耗过程的模糊Petri网模型研究 www.ilib.cn 2. Application of Hierarchical Colored Petri Nets in Object Oriented Design 递阶着色Petri网在面向对象设计中的应用 www.wanfangdata.com.cn 3. Application of Stochastic High-Level Petri Nets in Inhomogeneous Systems 随机高级Petri网在异构系统中的应用 www.ilib.cn 4. Research on Workflow Participant Mechanism and Dynamic Characteristic Based on Hierarchically Refined Petri Nets 基于层次细化Petri网的工作流参与者机制与动态特性研究 www.ilib.cn 5. Decision of Non-product-form Solution Systems and Bounds Solution by Stochastic Petri Nets 随机Petri网非乘积解系统的判定与界限求解 www.ilib.cn 6. Modeling and Analyzing Organizational Structure of Defense Acquisition Management Using Petri Nets 武器装备采办管理组织结构的Petri网建模与分析 service.ilib.cn 7. Synchronous Composition of Time Petri Nets as Models of Multimedia System 作为多媒体系统模型的时间Petri网的同步合成 www.ilib.cn 8. Research of Distributed Workflow System Modeling Method on UML and Object-Petri Nets 基于UML和对象Petri网的分布式工作流系统建模方法研究 www.ilib.com.cn 9. Structural Analysis and Applications of Synthesis of Petri Nets Shared T-type Subnet Petri网共享T型子网合成结构性质分析及其应用 service.ilib.cn 10. Timing Constraint Petri Nets and Their Schedulability Analysis and Verification 时间约束Petri网及其可调度性分析与验证 www.ilib.cn 1. On the Application of Timed Petri Nets in Reengineering Business Processes 时间Petri网在企业经营过程重组中的应用研究 service.ilib.cn 2. Object Petri Nets'Application in Information Security Model 对象Petri网在信息安全建模中的应用 www.wanfangdata.com.cn 3. Study of Workflow Process Modeling Based on High-Level Object-Oriented Petri Nets 基于高级对象Petri网的工作流过程建模研究 www.ilib.cn 4. Method of Timed Petri Nets Simulation in Dam Concrete Construction Processes 大坝混凝土施工过程赋时Petri网络模拟方法 service.ilib.cn 5. Application of Net Reduction to Feedback Controller Design of Petri Nets 网简化技术在Petri网反馈控制器设计中的应用 www.ilib.cn 6. Model and Analysis of Filling Roadbed Construction Process on Petri Nets 基于Petri网的填土路基施工过程的建模与研究 www.ilib.cn 7. Modeling Workflow Patterns Using Coloured Petri Nets 用着色Petri网建模工作流模式 www.ilib.cn 8. Fuzzy Petri Nets in Effectiveness Analysis of Air-to-ship Missile Weapon System 模糊Petri网在空舰导弹武器系统效能分析中的应用 ilib.cn 9. An optimization method based on Petri nets and genetic algorithm and its application 一种Petri网结合遗传算法的优化方法及应用 www.ilib.cn 10. Consistent Fuzzy Petri Nets Model for Logic Programs with Negation 含有否定命题逻辑推理的一致性模糊Petri网模型 www.ilib.cn 1. Application of Timed Colored Petri Nets in Modeling and Simulation 赋时着色Petri网在建模仿真中的应用 ilib.cn 2. Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets 基于时间约束Petri网的工作流动态一致性检验 ilib.cn 3. Simulation of Petri Nets for Manned Spaceflight's Fault Diagnosis 载入飞船故障诊断的Petri网仿真与实现 www.ilib.cn 4. Two Petri Nets Models to approach the Dining Philosophers Problem 求解哲学家就餐问题的两个Petri网模型 service.ilib.cn 5. Timed Petri nets -based Modeling Method for Batch Process Systems 基于赋时Petri网的批处理系统建模 www.ilib.cn 6. The Lookahead Study in Distributed Simulation of Timed Petri Nets 时延Petri网分布式模拟的先行值研究 service.ilib.cn 7. The study of Petri nets models to describe and approach the dining philosophers problem 描述与求解哲学家就餐问题的Petri网模型研究 www.ilib.cn 8. Verifying properties of Ada designs using colored Petri nets 采用彩色皮特里网验证Ada语言设计的特性 lib.buaa.edu.cn 9. Hybrid Petri nets for modeling of manufacturing systems 在制造系统建模与仿真中的应用 www.ilib.cn 10. Behavior Descriptions of Structure-Complex Petri Nets Based on Synchronous Composition 基于同步合成的结构复杂Petri网的行为描述 ilib.cn 1. Using Extended Fuzzy-Timing Petri Nets to Model Essentials of Role-Based CVE 扩展模糊时延Petri网下的协同虚拟环境要素建模 www.ilib.cn 2. Workflow Modeling Based on Colored Petri Nets and its Soundness Analysis 基于着色Petri网的工作流建模和合理性分析 ilib.cn 3. Applying Petri Nets in Modeling Business Workflow Petri网在商务工作流建模中的应用研究 www.wanfangdata.com.cn 4. Controlled Time Petri Nets and Modeling of Batch Process System 受控赋时Petri网在批处理系统建模中的应用 ilib.cn 5. Hybrid Petri Nets Based Modeling of Hybrid Dynamic Systems 基于混杂Petri网的混杂系统建模方法 www.ilib.cn 6. on refinement of model structure for stochastic petri nets 网模型的精化设计 www.ichacha.net 7. Reliability Analysis of Dissimilar Redundant Flight Control Computers Based on Petri Nets 基于Petri网的非相似余度飞控计算机可靠性分析 ilib.cn 8. A sufficient and necessary condition for local-fair Petri nets 局部公平网的充要条件研究 www.ilib.cn 9. Research on Modelling for Track District and Train with Petri Nets 用Petri网对轨道区段和列车的建模研究 ilib.cn 10. High-Level Low-Power Synthesis of Real-Time Systems Using Time Petri Nets 基于时间Petri网的实时系统低能耗高层综合 www.ilib.cn 1. Modeling and Verification of an Online Stock Trading System Based on Petri Nets 基于Petri网的网上股票交易系统模拟与验证 www.ilib.cn 2. A Modeling and Simulation of Construction Closure for Transportation System Based on Timed-Petri Nets 施工截流运输系统的赋时Petri网模型及其仿真实现 www.ilib.cn 3. Study on Application of Petri Nets Model of Transformer Fault Diagnosis Based on Decision Table Reduction 基于决策表约简的变压器故障诊断Petri网络模型及其应用研究 www.ilib.cn 4. Behavior Modeling Methods of Distributed Systems Based on Object-oriented Colored Petri Nets 基于着色Petri网分布式系统的行为建模方法 scholar.ilib.cn 5. A Algorithm of Minimal Marking of Structural Live Petri Nets 结构活网极小标识的一个求解算法 www.ilib.cn 6. Modeling and analysis method for reconfigurable manufacturing cell based on generalized stochastic Petri nets 基于广义随机Petri网的可重组制造单元建模与分析方法 ilib.cn 7. Modeling Based on Petri Nets About Operation Maintenance and Support of Military Aircraft 基于Petri网的军用飞机使用维修保障建模 ilib.cn 8. Process Reengineering of Student Status Management in Military School Based on Petri Nets 基于Petri网的军队院校学籍管理流程优化 service.ilib.cn 9. General resources optimization in highway construction based on Petri nets 基于Petri网的公路施工资源总体优化方法 scholar.ilib.cn 10. Holistic Modeling Methodology of Enterprise Based on Components Model and Petri Nets 基于模型构件和Petri网的企业整体建模方法 www.ilib.cn 1. Modeling and Controlling Shrinking Film Packaging System Based on Hybrid Petri Nets 基于混合Petri网对热收缩膜包装系统建模和控制 ilib.cn 2. Simulation and analysis of the Dining Philosophers based on Petri Nets 基于Petri网下的哲学家就餐问题的模拟与验证 www.ilib.cn 3. Application of Object-Oriented Development in Embedded Systems Based on Petri Nets 面向对象的Petri网在嵌入式系统开发中的应用 www.ilib.cn 4. Scheduling analysis based on Petri nets for distributed real time embedded systems 基于Petri网的分布式实时嵌入式系统的调度分析 service.ilib.cn 5. Simulation Model and Realization of Dam Construction Process Based on Timed Petri Nets 基于赋时Petri网大坝混凝土施工过程建模与实现 service.ilib.cn 6. Business Process Modeling in Workflow System Based on Petri Nets of Reactive Semantics 基于反应型的Petri网工作流业务过程建模 www.ilib.cn 7. Dynamic Scheduling Algorithm for Batch Process Systems Based on Hybrid Petri Nets 一种基于混合Petri网的批过程动态调度算法 www.ilib.cn 8. Algorithm for modeling of flexible manufacturing systems based on Petri nets 基于Petri网的柔性制造系统建模的调度算法 www.ilib.com.cn 9. Reliability simulation of complex repairable system based on Petri Nets 基于Petri网的复杂可修复系统可靠性仿真研究 ilib.cn 10. Schedule Modeling Based on Petri Nets for Distributed Real-time Embedded Systems 基于Petri网的分布式实时嵌入式系统调度的建模 service.ilib.cn 1. Processing of Temporal Uncertainty of Train Operation Based on Fuzzy Time Petri Nets 基于模糊时间Petri网的列车运行时间不确定性问题的处理 www.ilib.cn 2. A study and development of Petri Nets modeling and simulation system Petri网图形建模仿真系统的研究与开发 service.ilib.cn 3. Protocol Validation and Performance Evaluates Based on Petri Nets 一种兼顾协议正确性验证和性能评估的Petri网方法 www.ilib.cn 4. Supply Chain Lead Time Modeling Based on Generalized Stochastic Petri Nets 基于广义随机Petri网的供应链订货提前期建模 www.ilib.cn 5. Research on Access Control Technology through Workflow Based on Petri Nets 网的工作流访问控制技术研究 www.stae.com.cn 6. The Application of Time Petri Nets Modeling in GZCATV BPR Project 采用时间约束Petri网分析优化广电过程模型 www.ilib.cn 7. Modeling of Wafer Fabrication Systems Based on Extended Hybrid Petri Nets 基于扩展混合Petri网的晶圆制造系统建模 www.ilib.cn 8. Modeling in electronic business workflow based on colored Petri nets 基于着色Petri网的电子商务工作流建模 ilib.cn 9. Formal Verification Method of Simulation Scenario Based on High-level Petri Nets 基于高级Petri网的仿真剧情正规校核方法 www.ilib.cn 10. Security Analysis of Real-Time Embedded Software System Based on Time Petri Nets 基于时间Petri网的实时嵌入式软件系统安全性分析 ilib.cn 1. Study on Workflow Modeling and Simulating Analyze Based on High-level Petri Nets 基于高级Petri网的工作流建模研究与仿真分析 www.ilib.cn 2. Research on Modeling Based on Petri Nets of Virtual Flow-line Production System 虚拟流水线生产系统及Petri网建模技术研究 www.ilib.cn 3. Expansible Analysis of Structure in Information System Based on the Petri Nets 信息系统结构可扩展性分析 www.ilib.cn 4. Multi-threads Design and Realize about Meal of Philosopher Based on Petri Nets 基于Petri网的哲学家就餐问题多线程设计与实现 168.160.184.78 5. Research on Enterprise Railway Plan System Model Based on Timed Petri Nets 基于时间Petri网的企业铁路作业系统模型的研究 service.ilib.cn 6. Modeling and control for hybrid system based on general hybrid Petri nets 基于一种新型混杂Petri网的混杂系统建模与控制 www.ilib.cn 7. Modeling of Coordination Policy Based on Coloured Petri Nets 基于着色Petri网的协调策略建模研究 www.ilib.cn 8. Agile Supply Chain Reengineering Based on Modular Petri Nets 支持敏捷供应链重构的模块化Petri网建模与分析 www.ilib.cn 9. Reward modeling based on first order fluid stochastic Petri nets 基于一阶流体随机Petri网的回报建模 www.ilib.cn 10. Research on Real-time Multitask Scheduling Based on Timed Petri Nets 基于时间Petri网的实时多任务调度方法研究 www.ilib.cn 1. Dynamic Access Control through Workflow Based on Petri Nets 基于Petri网工作流的动态访问控制 ilib.cn 2. New hierarchical workflow process model based on Petri nets 一种新的基于Petri网的分层工作流过程模型 ilib.cn 3. Modeling the Chinese Train Control System by Using Colored Petri Nets with Objects 针对面向对象着色Petri网的中国列车运行控制系统建模 ilib.cn 4. Design and Modeling of Hybrid Control Systems Based on Petri Nets 混合控制系统的广义Petri网建模与设计 www.ilib.cn 5. Analysis of Workflow Schedulability Based on Time Constraint Petri Nets 基于时间约束Petri网的工作流可调度性分析 ilib.cn 6. Robotic Assembly Task Planning Based on Timed Petri Nets 基于时延Petri网模型的机器人装配任务规划 ilib.cn 7. The Analysis of Data Parallel Problem Based on Timed Petri Nets 基于时延Petri网数据并行问题的分析 www.ilib.cn 8. Simulation of Onboard Mass Memory Based on Time Petri Nets 基于时间Petri网的星载海量存储器动态仿真 www.ilib.cn 9. A Modeling Method of Business Process Based on Use Case and Petri Nets 一种基于用例和Petri网的业务过程建模方法 service.ilib.cn 10. A Method of Discrete Event Simulation Based on Timed Petri Nets 基于时间Petri网的离散事件仿真方法研究 service.ilib.cn 1. A Method of Workflow Scheduling Based on Colored Petri Nets 基于有色Petri网的工作流阶段性调度 www.ilib.cn 2. Petri nets simplification rules based on FMS 基于柔性制造系统的Petri网模型简化规则 www.ilib.cn 3. A Workflow Model for Insurance Claim based on Petri Nets 基于Petri网的保险索赔工作流模型 ilib.cn 4. Reducing of Workflow Logic Net Based on Petri Nets by Using Matrix 基于Petri网的工作流逻辑化简规则的矩阵表示 www.ilib.cn |
||||||||||||||
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。