您要查找的是不是：
- time constraint Petri net 时间约束Petri网
- 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网
- Timing constraints petri nets 时间约束Petri网
- 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)。
- If the user has a time constraint, limit the tuning time. 如果用户在时间上有约束,请限制优化时间。
- They must face difficult circumstances or serious time constraint s. 他们必须面对恶劣的环境或紧迫的时限。
- From beginning to the end in this paper,the Time Petri Net(TPN) based on, we have researched the theory of Hybrid Dynamic Petri Net and its methods on modeling and analyzing in CIMS. 本文自始至终以时间Petri网为基础，研究了混合动态Petri网理论以及在CIMS中的建模方法及分析方法。
- At the same time Petri Net is a kind of abstract mathematics sign, and does not keep problem field a intuitionistic view.It is hard to comprehend, commune and discus for laypeople. 同时Petri网是一种抽象的数学符号，并不是对问题领域的直观的表示，对非专业人员来说难以理解、交流和讨论。
- This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation. 本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。
- Attention to the time constraints, quick action Oh. 注意有时间限制,动作要快喔。
- Owing to time constraint, discussion of the subject was deferred to the meeting on 21.3.2005. 由于时间所限,此议题押后至2005年3月21日的会议讨论。
- Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling. Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。
- We shorten it due to time constraints. 因时间紧凑，剧本稍微缩短；
- Petri net becomes the extended Petri net (EPN) by introducing the extended description of timed places and tokens. 通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);
- The problem was simply time constraint and lack of resources to provide immediate translations. 问题是时间不足,没有足够的资源提供即时翻译。
- The second one is reduction verification, whose research results on Petri net and workflow graph are given. 讨论了过程合理性验证和化简验证技术等；
- But the time constraint before them was the main problem, if they were to conduct that exercise. 但他们要这样做,面临的主要问题是时间压力。
