| 2008 |
|---|
| 11 | EE | Zhijun Ding,
Changjun Jiang,
MengChu Zhou,
Yaying Zhang:
Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(4): 791-801 (2008) |
| 10 | EE | Zhijun Ding,
Changjun Jiang,
MengChu Zhou:
Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 38(3): 881-883 (2008) |
| 9 | EE | Zhijun Ding,
Junli Wang,
Changjun Jiang:
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.
J. Inf. Sci. Eng. 24(5): 1309-1328 (2008) |
| 2007 |
|---|
| 8 | EE | Zhijun Ding,
Junli Wang,
Hong Song:
AI Planning for Web Service Automatic Composition Using Petri Nets.
CSCWD 2007: 519-524 |
| 7 | EE | Xianfei Tang,
Changjun Jiang,
Zhijun Ding:
Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.
ICWS 2007: 1162-1163 |
| 2006 |
|---|
| 6 | EE | Zhijun Ding,
Zhaohui Zhang,
Changjun Jiang,
Meiqin Pan:
Formal Model of Workflow Integration and its Application in STISAG.
CSCWD 2006: 1173-1178 |
| 5 | EE | Zhijun Ding,
Yaying Zhang,
Changjun Jiang,
Zhaohui Zhang:
Refinement of Petri Nets in Workflow Integration.
CSCWD (Selected Papers) 2006: 667-678 |
| 4 | EE | Guangsheng Zhang,
Changjun Jiang,
Zhijun Ding:
Service Discovery Framework Using Fuzzy Petri Net.
Journal of Computer Research and Development 43(11): 1886-1894 (2006) |
| 2005 |
|---|
| 3 | EE | Junli Wang,
Zhijun Ding,
Changjun Jiang:
An Ontology-based Public Transport Query System.
SKG 2005: 62 |
| 2 | EE | Zhijun Ding,
Junli Wang,
Changjun Jiang:
Semantic Web Service Composition Based on OWL-S.
SKG 2005: 98 |
| 2002 |
|---|
| 1 | | Zhijun Ding,
Changjun Jiang:
Temporal Petri nets model of concurrent systems.
Comput. Syst. Sci. Eng. 17(6): 353-358 (2002) |
