@inproceedings{d1d4cfedf6ec4487ba8a7308158ebbee,
title = "A four dimensional petri net approach for workflow management",
abstract = "Workflow management is a fast evolving technology which can support business process reengineering and realize the full or partial automatic process of a business. A formal model of workflow should contain at least four major dimensions: the process, resource, case and time dimensions. Although much research has been devoted to this subject, to the best of our knowledge, no existing research is able to model workflow with the four dimensions at the same time. In this paper, a formal model, named as WF-RAPN (A Resource Assignment Petri Net for Workflow Management) is shown. The model extends traditional Petri Nets with resource assignments and case handling. To guarantee that resources are correctly consumed and execution time of each case is soundly calculated in the modeled processes, a formal set of WF-RAPN composition rules are designed and the proof of the correctness is also shown in the paper.",
keywords = "Petri nets, Resource assignment, WF-RAPN, Workflow",
author = "Hsu, {Ping Yu} and Chen, {Yen Liang} and Chang, {Yuan Bin}",
year = "2006",
doi = "10.1007/11733836_43",
language = "???core.languages.en_GB???",
isbn = "3540333371",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "617--627",
booktitle = "Database Systems for Advanced Applications - 11th International Conference, DASFAA 2006, Proceedings",
note = "11th International Conference on Database Systems for Advanced Applications, DASFAA 2006 ; Conference date: 12-04-2006 Through 15-04-2006",
}