Data processing: financial – business practice – management – or co – Automated electrical financial or business practice or... – Health care management
Reexamination Certificate
2005-04-26
2010-06-08
Jeanty, Romain (Department: 3624)
Data processing: financial, business practice, management, or co
Automated electrical financial or business practice or...
Health care management
C706S050000, C358S001150
Reexamination Certificate
active
07734492
ABSTRACT:
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.
REFERENCES:
patent: 5107332 (1992-04-01), Chan
patent: 5257363 (1993-10-01), Shapiro et al.
patent: 5490097 (1996-02-01), Swenson et al.
patent: 5493321 (1996-02-01), Zwadlo
patent: 5774661 (1998-06-01), Chatterjee et al.
patent: 6067357 (2000-05-01), Kishinsky et al.
patent: 6256598 (2001-07-01), Park et al.
patent: 6308224 (2001-10-01), Leymann et al.
patent: 6327362 (2001-12-01), Hull et al.
patent: 6349238 (2002-02-01), Gabbita et al.
patent: 6546364 (2003-04-01), Smirnov et al.
patent: 6876894 (2005-04-01), Chen et al.
patent: 6930790 (2005-08-01), Forthoffer
patent: 6937993 (2005-08-01), Gabbita et al.
patent: 6943915 (2005-09-01), Teraue
patent: 6957418 (2005-10-01), Batcha et al.
patent: 7120699 (2006-10-01), Stork et al.
patent: 7234140 (2007-06-01), Dortmans
patent: 7275039 (2007-09-01), Setteducati
patent: 7327481 (2008-02-01), Such et al.
patent: 7369918 (2008-05-01), Cosgrove
patent: 7406357 (2008-07-01), Ocke et al.
patent: 7580911 (2009-08-01), Sun et al.
patent: 2002/0145750 (2002-10-01), Honda et al.
patent: 2002/0181017 (2002-12-01), Such et al.
patent: 2003/0018512 (2003-01-01), Dortmans
patent: 2003/0036940 (2003-02-01), Leymann et al.
patent: 2003/0055811 (2003-03-01), Stork et al.
patent: 2003/0072031 (2003-04-01), Kuwata et al.
patent: 2003/0144974 (2003-07-01), Chang et al.
patent: 2003/0189724 (2003-10-01), Kloosterman et al.
patent: 2004/0066527 (2004-04-01), Kloosterman et al.
patent: 2004/0078258 (2004-04-01), Schulz et al.
patent: 2004/0083448 (2004-04-01), Schulz et al.
Nabil R. Adam, Vijayalakshmi Atluri and Wei-Kuang Huang “Modeling and Analysis ofWorkflows Using Petri Nets” Journal of Intelligent Information Systems, 10, 131-158 (1998).
H.M.W. Verbeek; W.M.P. van der Aalst; Akhil Kumar “XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows” Information Technology and Management; Jan.-Apr. 2004; 5, 1-2; ABI/INFORM Global p. 65.
“JDF Specification: Release 1.1” CIP4 Organization http://www.cip4.org.
Khodakaram Salimifard, Mike Wright “Petri net-based modelling of Workflow systems: An Overview” European Journal of Operational Research 134 (2001): pp. 664-676.
Julie Shaffer; James J Mauro; Chuck Gehman; Laura Gale “The print production process: All things digital” GATFWORLD; Jan./Feb. 2003; 15, 1; ProQuest Central p. 42.
“Simulation as a tool for logistics management” by Van Der Zee, Durk-Jouke, Ph.D., Universiteit Twente (The Netherlands), 1997, 273 pages; AAT C543006.
Mor Peleg, Iwei Yeh and Russ B. Altman “Modelling biological processes using workflow and Petri Net Models” Stanford Medical Informatics vol. 18 No. 6 (2002): pp. 825-837.
Khodakaram Salimifard, Mike Wright “Modelling and Performance Analysis of Workflow Management Systems using Timed Hierarchical Coloured Petri Nets” Proceedings of ICEIS 2002, vol. 2, pp. 843-846, 2002.
“Job Definition Format” Anonymous PrintAction; Jun. 2004; 34, 6; ProQuest Computing p. 27.
H.M. Dortmans, L.J. Somers “Document Workflow Optimization” Proceedings 14th European Simulation Symposium (c) SCS Europe BVBA (2002).
“Connecting the workflow chain” Anonymous American Printer; Sep. 2003; 231, 6; ABI/INFORM Global p. 18.
“2001: The edge of reason” Printing World. Tonbridge: Jan 8, 2001. p. 38.
Sayal, M. ; Casati, F. ; Dayal, U. ; Ming-Chien Shan “Integrating workflow management systems with business-to-business interaction standards” Proceedings of the 18thInternational Conference on Data Engineering (2002).
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce W.M.P. van der Aalst. Electronic Commerce Research. Boston: Jul. 2002. vol. 2, Iss. 3; p. 195.
Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries Wil van der Aalst. Information & Management. Amsterdam: Mar. 1, 2000. vol. 37, Iss. 2; p. 67.
Sea Ling; Seng Wai Loke; , “Advanced Petri Nets for modelling mobile agent enabled interorganizational workflows,” Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the , vol., no., pp. 245-252, 2002.
Lenz, K.; , “Modeling interorganizational workflows with XML nets,” System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on , vol., no., pp. 10 pp., Jan. 3-6, 2001.
E-Alliance: A Negotiation Infrastructure for Virtual Alliances Stefania Castellani, Jean Marc Andreoli, Mihnea Bratu, Olivier Boissier, et al. Group Decision and Negotiation. Dordrecht: Mar. 2003. vol. 12, Iss. 2; p. 127.
K. Jenson, “An Introduction to the Theoretical Aspects of Coloured Petri Nets,” in J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds), “A Decade of Concurrency, Lecture Notes in Computer Science,” vol. 803, Springer-Verlag 1994, at 230-272.
J. Ezpeleta and J. Colom, “Automatic Synthesis of Colored Petri Nets for the Control of FMS,” IEEE Transactions on Robotics and Automation, vol. 13, No. 3, Jun. 1997.
W. Kühn, “Simulation of the Production Chain by use of an XML-based Job Definition Format,” Proceedings 14thEuropean Simulation Symposium.
T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, vol. 77, No. 4, Apr. 1989 (New York) at 541-580.
K. Jensen, “A Brief Introduction to Coloured Petri Nets,” Computer Science Department, University of Aarhus, Denmark.
L. M. Kristensen, et al., “The Practitioner's Guide to Coloured Petri Nets,” CPN Group, Dept. of Computer Science, University of Aarhus, Denmark.
“Coloured Petri Nets,” http://www.daimi.au.dk/CPnets/intro/.
R. Bastide, et al., “Formal Specification of CORBA Services: Experience and Lessons Learned,” LIHS, Universite Toulouse, France.
Gottumukkala Raju N.
Shepherd Michael David
Sun Tong
Fay Sharpe LLP
Jeanty Romain
Singh Gurkanwaljit
Xerox Corporation
LandOfFree
Validation and analysis of JDF workflows using colored petri... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Validation and analysis of JDF workflows using colored petri..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Validation and analysis of JDF workflows using colored petri... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4205946