专利检索 ap:("Tong Sun" OR "Raju N. Gottumukkala" OR "Michael David Shepherd") AND inv:"Raju N. Gottumukkala" 第 1 页

1.

发明授权
Validation and analysis of JDF workflows using colored petri nets 失效
标题翻译：使用彩色petri网验证和分析JDF工作流程

公开(公告)号：US07734492B2

公开(公告)日：2010-06-08

申请号：US11114895

申请日：2005-04-26

申请人： Tong Sun , Raju N. Gottumukkala , Michael David Shepherd

发明人： Tong Sun , Raju N. Gottumukkala , Michael David Shepherd

IPC分类号： G06F9/46

CPC分类号： G06Q10/10 , G06Q10/06 , G06Q10/0631 , G06Q10/0633 , G06Q10/0639

摘要： A method and system for translating a JDF workflow into a colored Petri net representation. Once the workflow has been converted, the colored Petri net is validated and analyzed. This provides the ability to identify potential deadlock conditions within a JDF workflow. In addition, the model network can be used to simulate throughput and turnaround time of a workflow and the effects of resources arriving at various times.

摘要翻译： 用于将JDF工作流转换为彩色Petri网表示的方法和系统。一旦工作流被转换，彩色Petri网被验证和分析。这提供了在JDF工作流程中识别潜在的死锁条件的能力。此外，模型网络可用于模拟工作流的吞吐量和周转时间以及资源到达时间的影响。