@inproceedings{53acc562c91a42429126064b91353e12,
title = "A Hierarchical Timed Coloured Petri Nets for BPMN-based process analysis",
abstract = "Although many business process models have been proposed, most of them do not contain all the arguments of control, message and data flows, defined in BPMN. They do not concern time conditions as in BPMN. On the other hand, these features allow a process to be defined with richer semantics but increase the difficulty of correcting an error or inaccurate process at workflow design. To simplify the analysis, we defined Hierarchical Timed Coloured Petri Nets (H Tc PNets), which is extended from Coloured Petri Nets (CPNets) and adopted the analysis techniques in CPNets and Timed PNets (TPNets). Finally, a comparison among HTc PNets, PNets, CPNets and TPNets is given.",
keywords = "BPMN, Business process, CPNets, Control flow, Data flow, Timed PNets",
author = "Wang, {Ching Huey} and Huang, {Pei Shu} and Feng-Jian Wang",
year = "2010",
month = jul,
language = "English",
isbn = "1891706268",
series = "SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering",
pages = "417--420",
booktitle = "SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering",
note = "22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010 ; Conference date: 01-07-2010 Through 03-07-2010",
}