| 2008 |
|---|
| 4 | 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) |
| 2006 |
|---|
| 3 | EE | Zhijun Ding,
Yaying Zhang,
Changjun Jiang,
Zhaohui Zhang:
Refinement of Petri Nets in Workflow Integration.
CSCWD (Selected Papers) 2006: 667-678 |
| 2003 |
|---|
| 2 | EE | Xinhuai Tang,
Yaying Zhang,
Jinyuan You:
RCACM: Role-Based Context-Awareness Coordination Model for Mobile Agent Applications.
GCC (2) 2003: 702-705 |
| 2002 |
|---|
| 1 | EE | Yaying Zhang,
Jinyuan You:
An RBAC Based Policy Enforcement Coordination Model in Internet Environment.
EDCIS 2002: 466-477 |
