2008 |
48 | 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) |
47 | 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) |
46 | EE | Yuyue Du,
Changjun Jiang,
MengChu Zhou:
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(1): 93-99 (2008) |
45 | EE | Juan Xu,
Yongfa Hong,
Changjun Jiang:
Bounds on lifetime of cluster-based ultra-wide band wireless sensor network.
IJAHUC 3(3): 159-166 (2008) |
44 | 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) |
43 | EE | Lin Chen,
Changjun Jiang,
Junjie Li:
VGITS: ITS based on intervehicle communication networks and grid technology.
J. Network and Computer Applications 31(3): 285-302 (2008) |
2007 |
42 | EE | Dongliang Zhang,
Changjun Jiang,
Shu Li:
Research on Dynamic Load Balancing Algorithms for Parallel Transportation Simulations.
APPT 2007: 560-568 |
41 | EE | Yaojun Han,
Changjun Jiang,
Xuemei Luo:
Modeling and Analysis for Grid Service Cooperative Scheduling Based on Petri Nets.
CDVE 2007: 104-112 |
40 | EE | Xiaoli Du,
Rong Deng,
Changjun Jiang,
Fei Yin:
Dynamic scheduling for dedicated grid and task scheduling with reliable communication for non-dedicated grid.
China HPC 2007: 152-159 |
39 | EE | Lina Ni,
Jinquan Zhang,
Changjun Jiang:
AS2M4SoC: An Autonomic Service Scheduling Model and Strategy for SoC Based on Evidence Theory.
GCC 2007: 304-314 |
38 | EE | Shanchen Pang,
Shumei Wang,
Changjun Jiang:
A Framework for Designing Grid Workflow System based on Ontology.
GCC 2007: 354-360 |
37 | 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 |
36 | EE | Guangsheng Zhang,
Changjun Jiang,
Jing Sha,
Ping Sun:
Autonomic Workflow Management in the Grid.
International Conference on Computational Science (3) 2007: 220-227 |
35 | EE | Yuyue Du,
Changjun Jiang,
MengChu Zhou:
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 37(5): 643-654 (2007) |
2006 |
34 | EE | Zhaohui Zhang,
Youqun Shi,
Changjun Jiang:
Parallel Implementing of Road Situation Modeling with Floating GPS Data.
APWeb Workshops 2006: 620-624 |
33 | EE | Ying Li,
Minglu Li,
Jian Cao,
Xinhong Wu,
Linpeng Huang,
Ruonan Rao,
Xinhua Lin,
Changjun Jiang,
Min-You Wu:
Towards Building Intelligent Transportation Information Service System on Grid.
APWeb Workshops 2006: 632-642 |
32 | EE | Guangsheng Zhang,
Fuqiang Meng,
Changjun Jiang,
Jian Pang:
Using Petri Net to Reason with Rule and OWL.
CIT 2006: 42 |
31 | EE | Zhijun Ding,
Zhaohui Zhang,
Changjun Jiang,
Meiqin Pan:
Formal Model of Workflow Integration and its Application in STISAG.
CSCWD 2006: 1173-1178 |
30 | EE | Zhijun Ding,
Yaying Zhang,
Changjun Jiang,
Zhaohui Zhang:
Refinement of Petri Nets in Workflow Integration.
CSCWD (Selected Papers) 2006: 667-678 |
29 | EE | Ping Sun,
Junli Wang,
Xiangmei Li,
Changjun Jiang:
Performance Analysis of Workflow Model with Resource Constraints.
IMSCCS (1) 2006: 397-401 |
28 | EE | Lianghua He,
Die Hu,
Changjun Jiang:
Principal Component Net Analysis for Face Recognition.
MICAI 2006: 734-744 |
27 | EE | Juan Xu,
Yongfa Hong,
Changjun Jiang,
Lin Chen:
Upper Bound on Operational Lifetime of Ultra Wide Band Sensor Network.
WASA 2006: 271-282 |
26 | EE | Minglu Li,
Min-You Wu,
Ying Li,
Jian Cao,
Linpeng Huang,
Qianni Deng,
Xinhua Lin,
Changjun Jiang,
Weiqin Tong,
Yadong Gui,
Aoying Zhou,
Xinhong Wu,
Shui Jiang:
ShanghaiGrid: an Information Service Grid.
Concurrency and Computation: Practice and Experience 18(1): 111-135 (2006) |
25 | EE | Lina Ni,
Jinquan Zhang,
ChunGang Yan,
Changjun Jiang:
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid.
J. Comput. Sci. Technol. 21(4): 559-564 (2006) |
24 | 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 |
23 | EE | Minglu Li,
Min-You Wu,
Ying Li,
Linpeng Huang,
Qianni Deng,
Jian Cao,
Guangtao Xue,
Chuliang Weng,
Xinhua Lin,
Xinda Lu,
Changjun Jiang,
Weiqin Tong,
Yadong Gui,
Aoying Zhou,
Xinhong Wu,
Shui Jiang:
ShanghaiGrid: A Grid Prototype for Metropolis Information Services.
APWeb 2005: 1033-1036 |
22 | EE | Xiaofeng Tao,
Changjun Jiang,
Yaojun Han:
Applying SOA to Intelligent Transportation System.
IEEE SCC 2005: 101-106 |
21 | EE | Minglu Li,
Min-You Wu,
Ying Li,
Jian Cao,
Linpeng Huang,
Qianni Deng,
Xinhua Lin,
Changjun Jiang,
Weiqin Tong,
Yadong Gui,
Aoying Zhou,
Xinhong Wu,
Shui Jiang:
ShanghaiGrid as An Information Service Grid: An Overview.
IEEE SCC 2005: 351-354 |
20 | EE | Yaojun Han,
Changjun Jiang,
Xuemei Luo:
Resource Scheduling Scheme for Grid Computing and Its Petri Net Model and Analysis.
ISPA Workshops 2005: 530-539 |
19 | EE | Lina Ni,
Jinquan Zhang,
ChunGang Yan,
Changjun Jiang:
A Heuristic Algorithm for Task Scheduling Based on Mean Load.
SKG 2005: 5 |
18 | EE | Junli Wang,
Zhijun Ding,
Changjun Jiang:
An Ontology-based Public Transport Query System.
SKG 2005: 62 |
17 | EE | Zhijun Ding,
Junli Wang,
Changjun Jiang:
Semantic Web Service Composition Based on OWL-S.
SKG 2005: 98 |
16 | EE | Changjun Jiang,
Zhaohui Zhang,
Guosun Zeng,
Hong-Zhong Chen,
Duo-Qian Miao,
Yu Fang,
Xiaofeng Tao,
Qing Zhi,
Feng Yue,
Yang Luo,
Anqing Zhou,
Lin Chen,
Lei Liu:
Urban Traffic Information Service Application Grid.
J. Comput. Sci. Technol. 20(1): 134-140 (2005) |
2004 |
15 | EE | Jian Sun,
Changjun Jiang:
Web Service Composition Based on BPWS-Net.
AWCC 2004: 303-313 |
14 | EE | Yin Liu,
Wenyin Liu,
Changjun Jiang:
A Structural Approach to Recognizing Incomplete Graphic Objects.
ICPR (1) 2004: 371-375 |
13 | EE | Yaojun Han,
Changjun Jiang,
Xuemei Luo:
A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets.
ISPAN 2004: 67-72 |
12 | EE | Yin Liu,
Wenyin Liu,
Changjun Jiang:
User Interest Detection on Web Pages for Building Personalized Information Agent.
WAIM 2004: 280-290 |
11 | EE | Yuyue Du,
Changjun Jiang:
Verifying Functions in Online Stock Trading Systems.
J. Comput. Sci. Technol. 19(2): 203-212 (2004) |
2003 |
10 | EE | Xiaofeng Tao,
Changjun Jiang:
Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net.
GCC (1) 2003: 1008-1011 |
9 | EE | Zhaohui Zhang,
Qing Zhi,
Guosun Zeng,
Changjun Jiang:
The Architecture of Traffic Information Grid.
GCC (1) 2003: 209-212 |
8 | EE | Bo Xie,
Yin Liu,
Ruimin Shen,
Liu Wenyin,
Changjun Jiang:
PipeSeeU: A Scalable Peer-to-Peer Multipoint Video Conference System.
GCC (1) 2003: 475-479 |
7 | EE | Minglu Li,
Hui Liu,
Changjun Jiang,
Weiqin Tong,
Aoying Zhou,
Yadong Gui,
Hao Zhu,
Shui Jiang,
Ruonan Rao,
Jian Cao,
Qianni Deng,
Qi Qian,
Wei Jin:
ShanghaiGrid in Action: The First Stage Projects towards Digital City and City Grid.
GCC (1) 2003: 616-623 |
6 | EE | Yaojun Han,
Changjun Jiang,
You Fu,
Xuemei Luo:
Resource Scheduling Algorithms for Grid Computing and Its Modeling and Analysis Using Petri Net.
GCC (2) 2003: 73-80 |
5 | EE | Youqun Shi,
ChunGang Yan,
Feng Yue,
Changjun Jiang:
Study on Data Access Technology in Information Grid.
GCC (2) 2003: 887-890 |
4 | EE | Yuyue Du,
Changjun Jiang:
Towards a Workflow Model of Real-Time Cooperative Systems.
ICFEM 2003: 452-470 |
2002 |
3 | EE | Yuyue Du,
Changjun Jiang:
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
ICFEM 2002: 221-225 |
2 | | Zhijun Ding,
Changjun Jiang:
Temporal Petri nets model of concurrent systems.
Comput. Syst. Sci. Eng. 17(6): 353-358 (2002) |
1 | EE | Changjun Jiang,
Huaiqing Wang,
Shaoyi Liao:
Behavior Relativity of Petri Nets.
J. Comput. Sci. Technol. 17(6): 770-780 (2002) |