In this paper, we propose a project management structure based on timed Petri net.
本文提出一种基于时延 Petri网的项目管理方法，克服了上述的不足。
According to the relevant theory of Hierarchical Timed Colored Petri-net, Meta language is used to modeling the shipbuilding process, followed by the simulation and analysis with the CPN tools.
本文根据赋时层次有色Petri网HTCP-net的相关理论，利用ML语言对造船流程进行建模，并采用CPN Tools工具对模型进行仿真分析。
The Timed Petri net model is deduced from timed automate model and the isomorphism of them is proved; 4. Analyzed the IRASO pipeline navigation technology using matrix model.
引入扩展的自动机模型—计时自动机同时分析Agent的逻辑和实时行为，并由其导出Agent的计时Petri网模型，证明它们的同构性； 4。
A Resource/Task net (R/T-net) based on the timed Petri net and the modeling process by using R/T-net for workflow is proposed.
在时间Petri网的基础上提出了一种称作资源/任务网（R/T-net）的工作流概念模型，并给出了基于R/T-net的工作流建模过程。
A way to modeling a multi-function pipe line with timed Petri net is presented in this paper.
在单功能流水线的Petri网模型[1]基础上，给出了一种基于时延Petri网的多功能流水线建模方法。
A timed Petri net approach to determining the conditions for stability of a reentrant line system with buffer priority scheduling policy is described in this paper.
描述了一种时间Petri网模型和方法，它能对具有缓冲优先调度可重入生产线系统进行稳定性分析。
Modeling of Work-In-Process Buffer for Group Production Unit Based on Timed Petri Net
基于赋时Petri网的成组生产单元缓冲区建模
It discusses the approach of setting up workflow model based on these methods. With the object oriented timed Petri net, it shows the workflow model of business process in a manufacturing enterprise, analyzes the liveness of the Petri net by means of the reachability tree.
最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。
Stability analysis of buffer priority scheduling policies using timed Petri net models
基于时间Petri网模型的缓冲优先调度策略稳定性分析
This paper presents a new system model, named the Controlled Resource Time Net model of multimedia system synchronization, which is classified as a timed Petri net, simultaneously describes the time specification, resource requirement and synchronization realization strategies of the system.
本文提出的多媒体系统同步的受控资源时间网（CRT网）模型利用Petri网，统一地描述多媒体同步规范、同步的资源要求和系统支持同步实现的控制策略。
In this thesis, we use a graphical and mathematical modeling tool- Coloured Timed Petri Net to model the production flow in the wafer fabrication plant.
在这篇论文里，我们利用一图形及数学之具有时间和颜色属性的裴氏网路来建构晶圆厂之生产流程。
Modeling and Analysis of Elevator System Based on Timed - Coloured Petri Net
基于时间-有色Petri网的电梯系统的建模与分析
An approach of modeling and optimizing the medical treatment process was proposed using the Hierarchical Timed Coloured Petri net (HTCP-net).
针对目前医疗服务缺乏定量化的分析评价手段，提出了采用赋时层次有色Petri网（HTCP-net）来建模和优化医院当前的医疗服务流程。
Extended timed coloured Petri net theory is introduced into the research of production scheduling decision simulation for FMS in this paper. Rules repressing Petri. net model of FMS are provided.
本文将赋时扩展着色Petri网理论引入FMS生产调度决策仿真研究中，提出FMS的Petri网模型表示规则，并引入生产调度决策规则。
Decision rules for production scheduling are introduced. Based on the extended timed coloured Petri net model of FMS and minimum event time advance principle, dynamic simulation running of production scheduling decision for FMS is realized.
基于FMS的赋时扩展着色Petri网模型，依据最小事件时间推进原理，实现FMS的生产调度决策动态仿真运行。
This Paper analyses the cryptographic protocol models and introduces a kind of analysis tool called timed Petri net, which is served as the formal specification tool of SET (secure electronic transaction) protocol.
对密码协议模型进行了分析，引入时延Petri网分析工具，建立了一种新的安全电子交易协议的形式描述工具。
Research on modeling and scheduling of stacker via colored timed petri net
基于着色赋时Petri网的堆垛机建模与调度研究
To overcome the drawbacks of the existed modeling approach of CIM information system, a new type of timed colored Petri net using stepwise refinement approach-hierarchical timed colored Petri net (HTCPN) is proposed.
在对现有CIM信息系统建模方法局限性分析的基础上，提出了一种基于逐步求精的时间有色Petri网&分层时间有色Petri网（HTCPN），并给出CIM信息系统的设计框架及其HTCPN表示。
Research on the Use of Colored Timed Petri Net and Stochastic Petri Net
有色时间Petri网与随机Petri网应用研究
Modeling of Flexible Storing Transfer Line with Timed Petri Net
柔性存储传输线的赋时Petri网建模