參考文獻 |
[1] W.M.P. van der Aalst, “The Application of Petri Nets to Workflow Management,” Journal of Circuits, Systems and Computers, vol. 8, no. 1, pp. 21-66, 1998.
[2] W.M.P. van der Aalst, K.M. van Hee and G.J. Houben, “Modeling and Analyzing Workflow using a Petri-net based approach,” Proceedings of Second Workshop on Computer-supported Cooperative Work, Petri nets related formalisms, pp. 31-50, 1994.
[3] W.M.P. Van der Aalst, “Formalization and verification of event-driven process chains,” Information and Software Technology, vol. 41, pp. 639-650, July 1999.
[4] W M P. van der Aalst, “On the automatic generation of workflow processes based on product structures,” Computers in Industry, vol. 39, pp. 97-111, 1999.
[5] W.M.P. van der Aalst, “Re-engineering Knock-Out Processes,” Decision Support Systems, vol. 30, no. 4, pp. 451-468, 2001.
[6] W.M.P. van der Aalst, “Three good reasons for using a Petri-net-based workflow management system,” Proceedings of the International Working Conference on Information and Process Integration in Enterprises, pp. 179-201, 1996.
[7] W.M.P van der Aalst and A.H.M. Ter Hofstede, “Verification of Workflow Task Structures: A Petri-net-based Approach,” Information Systems, vol. 25, no. 1, pp. 43-69, 2000.
[8] A. Agostini, G. De Michelis and K. Petruni, “Keeping workflow models as simple as possible,” in Proceedings Workshop Computer Supported Cooperative Work, Petri Nets Related Formalisms, Within the 15th Int. Conf. Application and Theory of Petri Nets, pp. 11–29, June 1994.
[9] J.F. Allen, “Maintaining Knowledge About Temporal Intervals,” Communications of the ACM, vol. 26, no. 11, pp. 832-843, 1983.
[10] G. Alpan, M.A. Jafari, “Dynamic Analysis of Timed Petri Nets: A Case of Two Processes and a Shared Resource,” IEEE Transactions on Robotics and Automation, vol. 13, no. 3, pp. 338-346, June 1997.
[11] E. Badouel and J. Oliver, Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes Within Workflow Systems, 1998.
[12] A. Basu and R.W. Blanning, “A Formal Approach to Workflow Analysis,” Information Systems Research, vol. 11, pp. 17-36, March 2000.
[13] F. Chauvet, J.M. Proth, Y. Wardi, “Scheduling no-wait production with time windows and flexible processing times,” IEEE Transactions on Robotics and Automation, vol. 17, pp. 60-69, Feb. 2001.
[14] Y.L. Chen and L.J. Hsiao, “Shipping problems with body clock constraints,” Computers & Operations Research, vol. 30, no. 7, pp. 1037-1049, 2003.
[15] J.E. Coolahan and N. Roussopoulos, “Timing requirements for time driven systems using augmented Petri nets,” IEEE Transactions on Software Engineering, vol. SE-9, pp. 603-616, Sept. 1983.
[16] W. Du and M.C. Shan, “Enterprise workflow resource management,” Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, pp.108-115, March 1999.
[17] C.A. Ellis and G.J. Nutt, “Modeling and enactment of workflow systems,” in Application and Theory of Petri Nets 1993, M. A. Marsan, Ed. Berlin, Germany: Springer-Verlag, vol. 691, Lecture Notes Computer Science, pp.1–16, 1993.
[18] A.D. Febbraro, D. Giglio, R. Minciardi and S. Sacone, “Optimization of manufacturing systems modelled by timed Petri nets,” In Proceedings of Sixth International Workshop on Discrete Event Systems (WODES’02), pp. 361-367, Oct. 2002.
[19] B. Gaujal, M. Jafari, M.B. Gursoy, and G. Alpan, “Allocation Sequences of Two-Processes Sharing a Resource,” IEEE Transactions on Robotics and Automation, vol. 11, pp. 748-753, Oct. 1995.
[20] A. Giua, C. Seatzu and F. Basile, “Observer-based state-feedback control of timed Petri nets with deadlock recovery,” IEEE Transactions on Automatic Control, vol. 49, Issue 1, pp. 17-29, Jan. 2004.
[21] H. Gou, B. Huang, W. Liu, S. Ren and Y. Li, “Petri-net-based business process modeling for virtual enterprises,” IEEE International Conference on Systems, Man, and Cybernetics, vol. 5, pp. 3183-3188, Oct. 2000.
[22] K. Hasegawa, P.E. Miyagi, D.J. Santos Filho, K. Takahashi, L. Ma, M. Sugisawa, “On resource arc for Petri net modeling of complex resource sharing system,” Journal of International Robotic Systems Theory and Applications, vol. 26, pp. 423-437, 1999.
[23] K.M. van Hee, H.A. Reijers, H.M.W. Verbeek and L. Zerguini, “On the Optimal Allocation of Resources in Stochastic Workflow Nets,” Proceedings of the Seventeenth UK Performance Engineering Workshop, pp. 23-34, 2001.
[24] P.Y. Hsu, Y.B. Chang and Y.L. Chen, “STRPN: a Petri-net approach for modeling spatial-temporal relations between moving multimedia objects,” IEEE Transactions on Software Engineering, v.29, pp. 63-76, Jan. 2003.
[25] P.Y. Hsu, Y.L. Chen and Y.B. Chang, “A Four Dimensional Petri Net Approach for Workflow Management,” In Proceedings of 11th International Conference on Database Systems for Advanced Applications (DASFAA’06), LNCS 3882 Springer, pp. 617-627, 2006.
[26] H.J. Hsu, D.L. Yang and F.J. Wang, “An incremental analysis to workflow specifications,” Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC’05), Dec. 2005.
[27] M. Jeng, X. Xie and M. Peng, “Process Nets with Resources for Manufacturing Modeling and Their Analysis,” IEEE Transactions on Robotics and Automation, vol. 18, no. 6, pp. 875-889, Dec. 2002.
[28] M.D. Jeng and F. DiCesare, “Synthesis using resource control nets for modeling shared-resource systems,” IEEE Transactions on Robotics and Automation, vol. 11, Issue: 3, pp. 317-327, June 1995.
[29] K. Jensen, Coloured Petri Ntes: Basic concepts, Analysis Methods and Practical Use, vol. 1, Berlin, Spring-Verlag, 1992.
[30] K. Jensen, “An introduction to the theoretical Aspects of coloured Petri nets,” LNCS 803, Springer, Berlin Heidelberg New York, pp. 230-272, 1994.
[31] K. Jongwook, A.A. Desrochers, A. C. Sanderson, “Task planning and project management using Petri nets,” IEEE International Symposium on Assembly and Task Planning, pp. 265-271, 1995.
[32] W. Khansa, P. Aygalinc, and J.-P. Denat, “Structural Analysis of p-time Petri Nets,” In Proceedings of the CESA ’96 Imacs Multiconference IEEE-SMC, pp. 127-136, July 1996.
[33] Y.T. Kotb, E. Badreddin, “Synchronization among activities in a workflow using extended workflow Petri nets,” Seventh IEEE International Conference on E-Commerce Technology, pp. 548-551, July 2005.
[34] V. K. Kumar, Ashok and L.S. Ganesh, “Use of Petri Nets for Resource Allocation in Projects,” IEEE Transactions on Engineering Management, vol. 45, pp. 49-56, Feb. 1998.
[35] D. Kumar, S. Harous, “Distributed simulation of timed Petri nets: basic problems and their resolution,” IEEE Transactions on Systems, Man and Cybernetics, vol. 24, Issue: 10, pp. 1498–1510, Oct. 1994.
[36] D. Lefebvre, A. El Moudni, “Firing and enabling sequences estimation for timed Petri nets,” IEEE Transactions on Systems, Man and Cybernetics, Part A, vol. 31, Issue: 3, pp. 153-162, May 2001.
[37] J. Li, Y. S. Fan, and M.C. Zhou, “Timing constraint workflow nets for workflow analysis,” IEEE Transactions on Systems, vol. 33, pp. 179-193, March 2003.
[38] J. Li, Y.S. Fan and M. C. Zhou, “Performance Modeling and Analysis of Workflow,” IEEE Trans. on Systems, Man, and Cybernetics: Part A, vol. 34, no. 2, pp. 229-242, March 2004.
[39] S. Ling and H. Schmidt, “Time Petri nets for workflow modeling and analysis,” Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), vol. 4, pp. 3039-3044, Oct. 2000.
[40] G.F. List and M. Cetin, “Modeling traffic signal control using Petri nets,” IEEE Transactions on Intelligent Transportation Systems, vol. 5, pp. 177-187, Sept. 2004.
[41] T.D.C. Little and A. Ghafoor, “Synchronization And Storage Models For Multimedia Objects,” IEEE Journal on Selected Areas in Communications, vol. 8, no. 3, pp. 413-427, 1990.
[42] D. Liu, J. Wang, S.C.F. Chan, J. Sun, L. Zhang, “Modeling workflow processes with colored Petri nets,” Computers in Industry, vol. 49, pp. 267-281, Dec. 2002.
[43] E. Lopez-Mellado, “Simulation of timed Petri net models,” Systems, IEEE International Conference on Man and Cybernetics, vol. 3, pp. 22-25, Oct. 1995.
[44] D.J. Medeiros, E.F. Watson, J.S. Carson and M.S. Manivannan, “Timed Petri nets as a verification tool,” Proceedings of the 1998 Winter Simulation Conference, pp. 547-554, 1998.
[45] T. Murata, “Petri nets: properties, analysis and applications,” Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[46] E. Oren and A. Haller, “Formal frameworks for workflow modeling,” Technical Report DERI-TR-2005-04-07, Digital Enterprise Research Institute (DERI), April 2005.
[47] J.L. Peterson, Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ: Prentice-Hall, 1981.
[48] S. Petkov, E. Oren and A. Haller, “Aspects in Workflow Management,” Technical Report DERI-TR-2005-04-10, Digital Enterprise Research Institute (DERI), April 2005.
[49] C. Ramchandani, “Analysis of asynchronous concurrent system by timed petri nets,” Cambridge, MA: MIT, Project MAC, TR-120, MIT, Feb. 1974.
[50] K. Salimifard, M. Wright, “Petri net-based modelling of workflow systems: An overview,” European Journal of Operational Research, vol. 134, pp. 664-676, 2001.
[51] K. Salimifard and M. Wright, “Petri Net-Based Modeling of Workflow Systems: An Overview”, European Journal of Operational Research, 134(3), pp. 664-676, 2001.
[52] C.D. Simon and Y. Pascal, “Time Window Specification And Validation With Petri Nets,” Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference, vol. 1, pp. 232-237, Sept. 2003.
[53] J.H. Son and M.H. Kim, “Finding the Critical Path in a Time-Constrained Workflow,” Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA 2000), pp. 102-107, July 2000.
[54] Y. Tang, L. Chen, K.T. He and N. Jing, “SRN: an extended Petri-net-based workflow model for Web service composition,” Proceedings of IEEE International Conference on Web Services, pp. 591-599, July 2004.
[55] H. Traetteberg, “Modeling work: workflow and task modeling,” Proceedings of the International Conference on Computer-Aided Design of User Interfaces, pp. 275-280, 1999.
[56] J.P. Tsai and S.J. Yang, “Timing constraint Petri nets and their application to Schedulability analysis of real-time system specifications,” IEEE Transactions on Software Engineering, vol. 21, pp. 32-49, Jan. 1995.
[57] P.C. Wachtel, B. Benatallah, R. Hamadi, M. O’Dell, and A. Susanto. “A Top-Down Petri Net-based Approach for Dynamic Workflow Modeling,” In Proceedings of the International Conference on Business Process Management (BPM’03), Eindhoven, The Netherlands, June 2003.
[58] WfMC, Workflow Management Coalition Terminology and Glossary (WFMC-TC- 1011), Technical report, Workflow Management Coalition, 1996.
[59] WfMC, Workflow Management Coalition, Interface 1: Process Definition Interchange, Process Model, 1998.
[60] D. Xu, X. He and Y. Deng, “Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets,” IEEE Transactions on Software Engineering, vol. 28, no. 10, pp. 984-996, Oct. 2002.
[61] H. Yu and S. Lloyd, “Petri net-based closed-loop control and online scheduling of the batch process plant,” UKACC International Conference on Control '98 (Conf. Publ. No. 455), vol. 2, pp. 1106-1111, Sept. 1998.
[62] M. Zhou, F. DiCesare, ”Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources,” IEEE Transactions on Robotics and Automation, vol. 7, pp. 515-527, Aug. 1991.
[63] W.M. Zuberek, “Timed Petri nets in modeling and analysis of cluster tools,” IEEE Transactions on Robotics and Automation, vol. 17, no. 5, pp. 562-575, 2001.
[64] W.M. Zuberek and W. Kubiak, “Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells,” Computers and Mathematics with Applications, vol. 37, no. 11-12, pp. 191-206, 1999.
[65] The Workflow Management Coalition (WfMC) , http://www.wfmc.org/index.html |