Return to search

The use of Petri Nets to Personal process modeling and verification

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.
Date27 July 2005
CreatorsChen, Lin-Ya
ContributorsSan-Yi Huang, Chih-Ping Wei, Wan-Shiou Yang, Ye-In Chang
Source SetsNSYSU Electronic Thesis and Dissertation Archive
Detected LanguageEnglish
Rightsoff_campus_withheld, Copyright information available at source archive

Page generated in 0.0071 seconds