Browsing by Author "Wang, Feng Jian"

Now showing 1 - 2 of 2

A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis
(2010)
Wang, Ching Huey
;
Huang, Pei Shu
;
Wang, Feng Jian
;
資訊工程學系
;
Department of Computer Science
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-C(T) PNets), which is extended from Coloured Petri Nets (CPNets) and adopted the analysis techniques in CPNets and Timed PNets (TPNets). Finally, a comparison among H-C(T) PNets, PNets, CPNets and TPNets is given.
An object-oriented modular Petri Nets for modeling service oriented applications
(2007)
Wang, Ching Huey
;
Wang, Feng Jian
;
資訊工程學系
;
Department of Computer Science
Use cases have been applied to describe how a web service will is used. Use cases can be categorized into classes of usage scenarios, which are often then defined as sequences of actions for accomplishing specific tasks. Neither use case nor scenario is not Object-Oriented (OO). For a web service to be implemented with OO programming technique(s), adopting object concept to system specifications from the scenarios can reduce the experience dependency on platforms transition. The paper proposes a model, named Object Oriented Petri Nets with modularity (OOMPNets), which introduces Colored Petri Nets into OO techniques. Based on the scenario, OOMPNets can be allowed to describe objects incrementally. Besides, the analysis techniques based on Colored Petri Nets can be applied for that of OOMPNets to reduce the effects of specification errors.