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.

Identiferoai:union.ndltd.org:NSYSU/oai:NSYSU:etd-0727105-144406
Date27 July 2005
CreatorsChen, Lin-Ya
ContributorsSan-Yi Huang, Chih-Ping Wei, Wan-Shiou Yang, Ye-In Chang
PublisherNSYSU
Source SetsNSYSU Electronic Thesis and Dissertation Archive
LanguageEnglish
Detected LanguageEnglish
Typetext
Formatapplication/pdf
Sourcehttp://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0727105-144406
Rightsoff_campus_withheld, Copyright information available at source archive

Page generated in 0.0371 seconds