個人化流程是在協調個人的活動，流程的目的是在使用者和相關組織的限制下達成個人目標。在本論文中，我們改以派翠網來塑模個人工作流程以解決缺少控制流所產生的問題。我們重新定義了個人工作流的正確性，並且提出在派翠網上的檢驗方法。在架構上，我們增加了線上執行引擊讓使用者可以透過網際網路即時的執行和檢驗個人流程的正確性。我們也可以透過個人工作流程系統來管理個人流程，而個人工作流程管理系統是在手持裝置上執行的。因為手持式裝置計算能力和電力的限制，所以只有當使用提出要求時我們才提供個人流程正確性的檢驗。

A personal process is a coordination of personal activities, each requiring a joint effort between a user and an enacting organization. In this thesis, we model a personal process using Petri Nets to describe both the control flow and data flow pertaining to the personal process. We redefine the correctness of a personal process and address the verification method based on Petri Nets. In our architecture, we add an online execution engine for the user to execute and verify the correctness of a personal process in real time　through the Internet. A personal process can also be managed by a personal workflow management system (PWFMS) running on a handheld device. Because of the strict limitations on their computation power and battery consumptions, we support verification only when the wireless connection is available.

Chapter 1 Introduction 1
1.1 Background 1
1.2 Motivation 1
1.3 Thesis organization 6
Chapter 2 Literature review 7
2.1 Personal workflow 7
2.2 Petri Nets 9
2.2.1 Routing sequence 11
2.2.2 Properties 13
2.2.3 Subclasses of Petri Nets 19
2.2.4 Analysis methods 20
Chapter 3 Personal Process Model 22
3.1 Personal process model 22
3.2 An example personal process model 25
Chapter 4 Verifying Personal Processes 30
4.1 Mapping a personal process onto Petri Nets 30
4.2 Constraints of the personal workflow 35
Chapter 5 Analyzing the constraints of personal workflow 39
5.1 Process-aliveness 41
5.2 Task-aliveness constraint 41
5.3 Algorithm for verification 42
Chapter 6 The implementation 48
6.1 Online execution engine 50
6.2 Personal workflow management system 53
Chapter 7 Conclusions 59
Appendix 60
References 61

References
[Aals03] W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kie-puszewski, and A.P. Barros, “Workflow patterns,” Distributed and Parallel Databases, 14(3), 2003, pp.5–51.
[Aals94] W.M.P. van der Aalst, “Putting Petri nets to work in industry,” Computers in Industry, 25(1), 1994, pp.45–54.
[Aals98] W.M.P. van der Aalst,“The Application of Petri Nets to Workflow Management,” The Journal of Circuits, Systems and Computers, 8(1), 1998, pp.21-66.
[Adam98] N.R. Adam,V. Atluri, W.-K Huang, ”Modeling and Analysis of Workflows Using Petri-Nets,” Journal of Intelligent Information Systems, 10(2),1998.
[Chen01] Y.-F. Chen, “The Research on Personal Workflow Systems in Support of Pervasive Computing,” Master thesis, National Sun Yat-sen University, July 2001.
[Daya91] U. Dayal, M. Hsu, and R. Ladin, ”A Transactional Model for Long-Running Activities,” Proceedings of the 17th International Conference on Very Large Data Bases, 1991.
[Gepp98] A. Gppert, D. Tombros, and K. R. Dittrich, “ Defining the Semantics of Reactive Components in Event-Driven Workflow Execution with Event Histories”, Information Systems,23(3), 1998.
[Hee94] K.M. van Hee,”Information System Engineering: a Formal Approach,”Cambridge University Press, 1994.
[Hwan03] S.-Y. Hwang, Y.-F. Chen, “Personal Processes: Modeling and Management,” 4’th Int’l. Conf. on Mobile Data Management (MDM03), Melbourne, Australia, Jan. 2003. LNCS2574, Springer Verlag, pp.141-152.
[Kao04] P Kao, “Constraints and QoS Management of Personal Process,” Master thesis, National Sun Yat-sen University, July 2004.
[Kiep00] B. Kiepuszewski, A.H.M. ter Hofstede, and C. Bussler, “On Structured Workflow Modelling,” Proc. of the 12th Int. Conference on Advanced Information Systems Engineering (CAiSE00), 2000.
[Jens96] K. Jensen. “Coloured Petri Nets. Basic concepts, analysis methods and practical use,” EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1996.
[Lin02] M. J. Lin, “A Framework for Providing and Executing Workflow Templates in a Mobile Environment,” Master thesis, Information Management Department, National Sun Yat-sen University, July 2002.
[Nidd94] M. Nidd, “Time Extensions of Petri Nets,” 1994., available at http://citeseer.nj.nec.com/nidd94time.html
[Mura89] Murata, T., “Petri Nets: Properties, Analysis and Applications,” IEEE Proceedings ,77(4), April 1989, pp. 541-580.
[Petr62] C.A. Petri. “Kommunikation mit Automaten,” PhD thesis, Institut fur Instrumentelle Mathematik, Bonn, 1962.
[Tu03] J.K. Tu, “Personal Workflow Systems in Support of Inter-process Integration,” Master thesis, Information Management Department, National Sun Yat-sen University y, July 2003.
[WFMC96] WFMC. WorkflowManagement Coalition Terminology and Glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels, 1996.
[Wodt97] D. Wodtke, and G. Weikum, “A Formal Foundation for Distributed Workflow Execution based on State Charts,” Proc, of the Int. Conf. on Database Theory, Springer LNCS 1186, 1997.