| URN |
etd-0727105-144406 |
|---|
| Author |
Lin-Ya Chen |
|---|
| Author's Email Address |
m924020036@student.nsysu.edu.tw |
|---|
| Statistics |
This thesis had been viewed 5814 times. Download 2112 times. |
|---|
| Department |
Information Management |
|---|
| Year |
2004 |
|---|
| Semester |
2 |
|---|
| Degree |
Master |
|---|
| Type of Document |
|
|---|
| Language |
English |
|---|
| Title |
The use of Petri Nets to Personal process modeling and verification |
|---|
| Date of Defense |
2005-06-30 |
|---|
| Page Count |
71 |
|---|
| Keyword |
Personal workflow
Petri Nets
|
|---|
| Abstract |
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. |
|---|
| Advisory Committee |
Chih-Ping Wei - chair
Ye-In Chang - co-chair
Wan-Shiou Yang - co-chair
San-Yi Huang - advisor
|
|---|
| Files |
indicate in-campus access immediately and off_campus access in a year |
|---|
| Date of Submission |
2005-07-27 |
|---|
