您要查找的是不是:
- TCPN (timing constraint Petri nets) TCPN
- Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets 基于时间约束Petri网的工作流动态一致性检验
- Timing Constraint Petri Nets and Their Schedulability Analysis and Verification 时间约束Petri网及其可调度性分析与验证
- time constraint Petri nets 时间约束Petri网
- time constraint Petri net 时间约束Petri网
- Timing constraints petri nets 时间约束Petri网
- If the user has a time constraint, limit the tuning time. 如果用户在时间上有约束,请限制优化时间。
- In this paper, Petri net is defined by net graph, and by introducing the "time place" and "token", Petri net becomes enlarged Perti net (EPN). 本文以图的形式给出 Petri网的定义 ,通过导入“时间Place”和“标记”的附加描述 ,使 Petri网成为扩充的 Petri网 (EPN)。
- They must face difficult circumstances or serious time constraint s. 他们必须面对恶劣的环境或紧迫的时限。
- The characters of the system software safety analysis with Petri nets are summedup. 总结了基于Petri网的系统软件安全性分析的特点。
- We redefine the correctness of a personal process and address the verification method based on Petri Nets. 我们重新定义了个人工作流的正确性,并且提出在派翠网上的检验方法。
- Attention to the time constraints, quick action Oh. 注意有时间限制,动作要快喔。
- Besidcs,the reduction of multi -are petri nets and the decomposition of petri nets are briefly discussed. 此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。
- Owing to time constraint, discussion of the subject was deferred to the meeting on 21.3.2005. 由于时间所限,此议题押后至2005年3月21日的会议讨论。
- We shorten it due to time constraints. 因时间紧凑,剧本稍微缩短;
- Petri Nets was raised by Carl Adam Petri in Germany and set forth by Peterson later. Petri网是由德国的Carl Adam Petri提出,后来由Peterson加以阐述。
- The problem was simply time constraint and lack of resources to provide immediate translations. 问题是时间不足,没有足够的资源提供即时翻译。
- An embedded system modeling approach based on Unified Modeling Language (UML) and Petri nets was proposed in the paper. 本文结合统一建模语言(UML)和Petri网,提出了一种支持嵌入式系统建模的方法体系。
- But the time constraint before them was the main problem, if they were to conduct that exercise. 但他们要这样做,面临的主要问题是时间压力。