 | 2011 |
|---|
| 8 |       | Yuyue Du,
Liang Qi,
MengChu Zhou:
A vector matching method for analysing logic Petri nets.
Enterprise IS 5(4): 449-468 (2011) |
| 2009 |
|---|
| 7 | | Yuyue Du,
Changjun Jiang,
MengChu Zhou:
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(2): 299-308 (2009) |
| 6 | | Yuyue Du,
Changjun Jiang,
MengChu Zhou,
You Fu:
Modeling and monitoring of E-commerce workflows.
Inf. Sci. 179(7): 995-1006 (2009) |
| 2008 |
|---|
| 5 | | 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) |
| 2007 |
|---|
| 4 | | 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) |
| 2004 |
|---|
| 3 | | Yuyue Du,
Changjun Jiang:
Verifying Functions in Online Stock Trading Systems.
J. Comput. Sci. Technol. 19(2): 203-212 (2004) |
| 2003 |
|---|
| 2 | | Yuyue Du,
Changjun Jiang:
Towards a Workflow Model of Real-Time Cooperative Systems.
ICFEM 2003: 452-470 |
| 2002 |
|---|
| 1 | | Yuyue Du,
Changjun Jiang:
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
ICFEM 2002: 221-225 |
Data released under the ODC-BY 1.0 license — See also our legal information page