| 1. | Approach to verify model of tcpn workflow net based on graph reduction
工作流网模型的验证方法 |
| 2. | A formal model of workflow net
一种形式化的工作流网模型 |
| 3. | According to the trigger rules of colored timed workflow net , simulation strategy is build to describe the action of workflow system
根据着色时间工作流网的触发规则,探讨工作流系统行为的仿真策略。 |
| 4. | In the course of explanation , a concurrent examine and approve workflow model having or - splits jumping out function is taken as an example to analyze and validate the presented approaches
论文以审批流程的着色时间工作流网模型中循环组件的或分支跳出并行流程为例,对提出的判断定理和任务调度方法进行验证。 |
| 5. | This paper discusses the parameters of the simulation result , which have effected the leakage current and potential variation distribution , and provides a theorectic basis for the system design
根据规程的要求，提出了一种排流网钢筋总截面积的计算方法，并结合深圳地铁1号线的数据进行了分析计算，为系统设计提供了理论依据。 |
| 6. | As for the aspect of quality analysis for workflow net model , it proposes to simplify the complex net system by using some rules before the analysis . the workflow management system model needs to be carried on some essential
在对工作流网模型的性质分析方面,提出了网系统的归约规则,将复杂的网系统归约化简后再进行分析。 |
| 7. | Probe into the petri - net based modeling technology and discuss the application of mapping petri net to workflow based on the workflow - net as well as how to improve it on high level petri net technology
深入探讨了基于petri网的工作流建模技术。以工作流网为基础讨论了petri网到工作流的映射，并利用高级petri网技术对工作流网进行改进。 |
| 8. | Construct the whole frame of web - based b2b business system , and build the system model based on the improved workflow - net as welll as discussed several key technologies on the implementation of the system
建立b2b网上交易系统总体架构，利用改进后的工作流网建立b2b网上交易系统模型，并针对系统实现过程中的几个关键技术问题进行讨论。 |
| 9. | Then the methods using reachability graph to analyze static and dynamic structural performance of colored timed workflow net are improved , and the theorem verifying whether there are deadlocks or traps in concurrent workflow are put forward using reachability graph
通过可达图分析着色时间工作流网静态和动态性能,提出用可达图检验工作流中是否存在死锁和陷阱的判断定理。 |
| 10. | Concurrent workflow model based on colored timed petri net is introduced into the workflow management system , and floating - delay is adopted to define colored timed petri net . transformation from workflow model to colored timed workflow net model is realized through workflow engine
将着色时间petri网引入到工作流系统建模中,采用不固定时延定义着色时间petri网,通过工作引擎实现了工作流模型到着色时间工作流网模型的转换。 |
