姓名
刘关俊（LIU Guanjun）


职称
教授

学科
计算机科学与技术

专业
计算机软件与理论

研究方向
Petri网、模型检测、并发理论、物理信息系统、工作流、离散事件系统、机器学习、网络交易欺诈检测

联系方式
上海市曹安公路4800号同济大学电信学院235室
liuguanjun@tongji.edu.cn

简介
刘关俊，教授，博士生导师，2011年获得同济大学计算机软件与理论专业博士学位，先后于新加坡科技设计大学、德国柏林洪堡大学（德国洪堡基金资助）从事博士后研究工作，2013年进入同济大学计算机科学系工作至今。目前是中国计算机学会形式化方法专委会委员、中国计算机学会软件工程专委会通讯委员、中国自动化学会网络信息服务专委会委员、中国自动化学会离散事件动态系统工作组委员、中国人工智能学会智能空天系统专委会委员。
已出版学术专著2本，发表学术论文100余篇，包括SCIENCE CHINA - Information Sciences、ACM T-CPS、ACM T-ECS、IEEE T-SC、IEEE T-II、IEEE T-ASE、IEEE T-ITS、IEEE T-CSS、IEEE T-SMC-S、IEEE IoT-J、Information Sciences、the Computer Journal等国内外知名期刊论文50余篇、以及International Conference on Theory and Applications of Petri Nets and Concurrency等国际会议论文40余篇。相关研究得到国家自然科学基金（重点项目、面上项目、青年基金项目）、上海市曙光人才项目基金、教育部高校产学研创新基金、中央高校交叉项目基金（重大）、德国洪堡基金的资助。
获得国家科技进步二等奖（2016）、中国电子学会自然科学一等奖（2016）、自动化学会自然科学一等奖（2019）、吴文俊人工智能技术发明一等奖（2019）、上海市技术发明一等奖（2019）、上海市科技进步一等奖（2015）、教育部国务院学位委员会首届博士研究生学术新人奖（2010）、上海市优秀博士学位论文奖（2014）、上海市计算机学会协同计算与信息服务专委会优秀论文奖（2017）、13^th IEEE ICNSC最佳学生论文提名奖（2016）等。
主要研究成果：
1、面对并发系统，发现、证明从而构建了并发系统行为健壮性的计算复杂度谱系，开展了多层次的（控制流层、数据流层、时间层、认知层）行为健壮性分析研究，提出了基于偏序、互模拟、矩阵运算、时序逻辑等分析方法，并开发了相应的模型检测工具。
2、面对互联网环境下的交易欺诈问题，利用机器学习与大数据方法有效地挖掘交易行为特征、处理数据极度不均衡问题、解决交易行为的概念飘逸问题以及行为可解释性等，提出了赋权群智等检测方法。
3、面对互联网环境下的POI推荐服务、服务声誉等问题，提出了基于张量分解、学习排序、生物嗅觉等服务推荐与计算方法。
目前主要研究内容：
1、面向人机物系统：实时并发交互行为的建模与系统软件定义方法，基于强化学习的多智能体方法与技术，目标识别与跟踪；
2、基于Petri网的认知逻辑模型检测，背景为多方交互的安全/隐私协议（协议的建模与安全性/隐私性的分析验证）；
3、基于机器学习与大数据的网络交易欺诈检测、欺诈模型的可解释性等。
著作
1.
刘关俊 著，Petri网的元展：一种并发系统模型检测方法，北京：科学出版社，2020.
2.
刘关俊, 蒋昌俊 著，Petri网的活性与应用，上海：同济大学出版社，2020.
论文
---2020---
94.
GJ Liu,PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets, In: the 41st International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN 2020), Paris, France, 24-26 June, 2020, LNCS 12152, pp. 196-216 (Petri网与并发论领域旗帜性会议)
93.
LT Zheng, GJ Liu, CG Yan, CJ Jiang, MC Zhou, and MZ Li,Improved TrAdaBoost and its Application to Transaction Fraud Detection, IEEE Transactions on Computational Social Systems , 2020. (it has been published online)
92.
YX Qin, CG Yan, GJ Liu, ZC Li, and CJ Jiang,Pairwise Gaussian Loss for Convolutional Neural Networks,IEEE Transactions on Industrial Informatics, 16(10), 6324-6333,2020.
91.
ZC Li, GJ Liu, and CJ Jiang,Deep Representation Learning with Full Center Loss for Credit Card Fraud Detection,IEEE Transactions on Computational Social Systems,7(2): 569-579, 2020.
90.
XY Tao, GJ Liu, B Yang, CG Yan and CJ Jiang,Workflow nets with tables and their soundness,IEEE Transactions on Industrial Informatics, 16(3): 1503-1515, 2020
89.
CF Yang, GJ Liu, CG Yan, and CJ Jiang,A Clustering-based Flexible Weighting Method in AdaBoost and its Application to Transaction Fraud Detection, SCIENCE CHINA – Information Science. 2020. (accepted)
88.
MM Wang, ZJ Ding, GJ Liu, CJ Jiang, MC Zhou, Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix,IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018 (accepted)
87.
DM Xiang, GJ Liu,Checking Data-Flow Errors Based onthe Guard-Driven Reachability Graph of WFD-Net, Computing and Informatics, 39(1): 1001-1020, 2020
86.
HH Zhu, GJ Liu, MC Zhou, Q Kang,Optimizing Weighted Extreme Learning Machines for Imbalanced Classi?cation and Application to Credit Card Fraud Detection, Neurocomputing 407: 50-62, 2020.
85.
CF Yang, GJ Liu, CG Yan,A k-means-based and no-super-parametric Improvement of AdaBoost and its Application to Transaction Fraud Detection,IEEE ICNSC’2020. (accepted)
84.
L. Qi, W.J. Luan, G.J. Liu, X. Lu, and X.W. Guo,A Petri Net-based Traffic Rerouting System by Adopting Traffic Lights and Dynamic Message Signs,IEEE ICNSC’2020. (accepted)
83.
LF He and GJ Liu,Verifying computation tree logic of knowledge via the similar reachability graph of knowledge-oriented Petri nets. In:the 39th Chinese Control Conference (CCC2020), Shenyang, China, 2020, pp. 5026--5031.
82.
LF He and GJ Liu, Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security, In:2020 IEEE World Congress on Services, Beijing, China, Oct. 19-23, 2020 (DoctoralSymposium)
81.
Y Tian and GJ Liu,MANE: Model-Agnostic Non-linear Explanations for Deep Learning Model, In:2020 IEEE World Congress on Services, Beijing, China, Oct. 19-23, 2020 (DoctoralSymposium)
80.
SJ Yin, GJ Liu, ZC Li, CG Yan and CJ Jiang,An Accuracy-and-Diversity-based Ensemble Method for Concept Drift and Its application in Fraud Detection,IEEE ICDM 2020,November 17-20, 2020, Sorrento, Italy (Workshop of IncrLearn).
---2019----
79.
DM Xiang, GJ Liu, CG Yan, CJ Jiang,A Guard-driven Analysis Approach of Workflow Net With Data,IEEE Transactions on Services Computing, 2019 (It has been published online)
78.
J Li, GJ Liu, CG Yan, CJ Jiang,LORI: A Learning-to-rank Based Integration Method of Location Recommendation,IEEE Transactions on Computational Social Systems, vol. 6, no. 3, pp. 430-440,2019.
77.
HH Zhu, GJ Liu, MC Zhou, Y Xie, Q Kang, Dandelion Algorithm With Probability-Based Mutation,IEEE Access, 2019, 7:97974-97985.
76.
FJ Zhang, GJ Liu, ZC Li, CG Yan, CJ Jiang,GMM-based Undersampling and Its Application for Credit Card Fraud Detection,the 32^nd International Joint Conference on Neural Network (IJCNN’2019), Budapest, Hungary, 14-19 July, 2019.
75.
LF He,GJ Liu,Model Checking CTLK Based on Knowledge-oriented Petri Nets,the 21^st IEEE International Conference on High Performance Computing and Communications (HPCC2019), Zhangjiajie, China, 10-12 Aug. 2019.
74.
H Wu, GJ Liu,A Hybrid Model on Learning Cross Features for Transaction Fraud Detection,the 19^th Industrial Conference on Data Mining (ICDM’2019), July 17-19, 2019, New York, USA.
73.
LL Dong, GJ Liu, DM Xiang,BUCKER 2.0: An Unfolding Based Checker for CTL, the 16^th IEEE ICNSC, Canada, May 9-11, 2019, 6 pages
72.
JQ Sun, GJ Liu, DM Xiang, CG Jiang,A Petri-net-based Method For Detecting Bugs in Multiple Threads, the 16^th IEEE ICNSC, Canada, May 9-11, 2019, 6 pages
71.
Y Xie, GJ Liu, RH Cao, ZC Li, CG Yan, CJ Jiang,A Feature Extraction Method for Credit Card Fraud Detection,the 2^nd IEEE International Conference on Intelligent Autonomous Systems(ICoIAS’2019), Singapore, Feb 28- Mar 3, 2019.
70.
Z Chen, GJ Liu,DenseNet+Inception and Its Application for Electronic Transaction Fraud Detection,the IEEE 17^th International Conference on Smart City (SmartCity 2019), Zhangjiajie, China, 10-12 Aug. 2019.
69.
YJ Zhang, GJ Liu, CG Yan,A hierarchical clustering strategy of processing class imbalance and its application in fraud detection,the 21^st IEEE International Conference on High Performance Computing and Communications (HPCC2019), Zhangjiajie, China, 10-12 Aug. 2019.
----2018----
68.
GJ Liu，CJ Jiang，MC Zhou，Time-soundness of Time Petri Nets Modeling Time-critical Systems,ACM Transactions on Cyber-Physical Systems. vol. 2, no. 2, article number 11, 27 pages, 2018.
67.
LT Zheng, GJ Liu, CG Yan, CJ Jiang,Transaction Fraud Detection based on Total Order Relation and Behavior Diversity,IEEE Transactions on Computational Social Systems, vol. 5, no. 3, pp. 796--806, 2018.
66.
WJ Luan, GJ Liu, CJ Jiang, MC Zhou,MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method,IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 11, pp. 3461--3474, 2018
65.
CJ Jiang, JH Song, GJ Liu, LT Zheng, WJ Luan,Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism,IEEE Internet of Things Journal, vol. 5, no. 5, pp. 3637--3647, 2018
64.
DM Xiang, GJ Liu, CG Yan, CJ Jiang,Detecting Data-Flow Errors Based on Petri Nets with Data Operations, IEEE/CAA Journal of Automatica Sinica, vol. 5, no. 1, pp. 251--260, 2018
63.
MM Wang, GJ Liu, CG Yan, CJ Jiang,Behavior Consistency Computation for Workflow nets with unknow correspondence,IEEE/CAA Journal of Automatica Sinica, vol. 5, no. 1, pp. 281--291, 2018
62.
YQ He, GJ Liu, CG Yan, CJ Jiang, JC Wang, Locating and controlling Unsound Transitions in Workflow Systems Based on Workflow Net with Data Constraints,IEEE ACCESS, vol. 6, pp. 62622-62637, 2018 (DOI: 10.1109/ACCESS.2018.**)
61.
YQ He, GJ Liu, DM Xiang, JQ Sun, CG Yan, CJ Jiang,Verifying the correctness of workflow systems based on workflow net with data constraints,IEEE ACCESS, vol. 6, pp. 11412--11423, 2018 (DOI: 10,1109/ACCESS.2018.**)
60.
H Fang, GJ Liu, XW Fang,Sufficient and necessary conditions to guarantee deadlock-free scheduling for an extended S3PR with correlated resources,Journal of the Chinese Institute of Engineers, 2018, 41(6): 473--482.
59.
JZ Li, GJ Liu,An Improved LambdaMART algorithm based on the Matthew Effect,Mathematical Problems in Engineering, vol. 2018, artical no. **, 11 pages (DOI:10.1155/2018/**)
58.
LL Dong, GJ Liu, DM Xiang,Verifying CTL with Unfoldings of Petri Nets,the 18th ICA3PP, Guangzhou, China, Nov. 15-17, 2018, LNCS 11337, pp. 47-61.
57.
B Yang, GJ Liu, DM Xiang, CG Yan, CJ Jiang,A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets,IEEE SMC, 2018, Oct. 7-10, Japan, pp. 202-208.
56.
ZC Li, GJ Liu, S Wang, SY Xuan, CJ Jiang,Credit Card Fraud detection via Kernal-based Supervised Hashing,the 2nd IEEE International Workshop on Syberspace Security (IWCSS’2018), Guangzhou, China, Oct. 8-12, 2018, pp. 1249-1254.
55.
S Wang, GJ Liu, ZC Li, SY Xuan, CG Yan, CJ Jiang,Credit Card Fraud Detection Using Capsule Network, IEEE SMC 2018, Oct. 7-10, Japan, pp. 3679-3684.
54.
YW Zhang, GJ Liu, WJ Luan, CG Yan, CJ Jiang,An Approach to Class Imbalance Problem Based on Stacking and Inverse Random Under Sampling Methods, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages. (doi:10.1109/ICNSC.2018.**)
53.
YW Zhang, GJ Liu, WJ Luan, CG Yan, CJ Jiang, Application of SIRUS in Credit Card Fraud Detection, the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 66-78.
52.
LT Zheng, GJ Liu, WJ Luan, CG Yan,A New Credit Card Fraud Detection Method Based on Behavior Certification, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages. (doi:10.1109/ICNSC.2018.**)
51.
SY Xuan, GJ Liu, ZC Li, LT Zheng, S Wang CJ Jiang,Random Forest for Credit Card Fraud Detection, the 15th IEEE ICNSC, Zhuhai, China, March 27-29, 2018, 6 pages. (doi:10.1109/ICNSC.2018.**)
50.
SY Xuan, GJ Liu, ZC Li,Refined Weighted Random Forest and Its Application to Credit Card Fraud Detection. the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 343-355.
49.
JZ Li, GJ Liu,A Rich Ranking Model Based on the Matthew Effect Optimization, the 7th International Conference on Computational Data and Social Network (CSoNet’2018), Shanghai, China, December 18-20, 2018, LNCS 11280, pp. 450-459.
48.
李金忠，刘关俊，闫春钢，蒋昌俊，排序学习研究进展与展望，自动化学报，vo. 44, no. 8, pp. 1345-1369, 2018
----2017----
47.
GJ Liu, MC Zhou, CJ Jiang, Petri net modelling and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing,ACM Trans. Embedded Computing Systems, vol. 16, no. 4, pp. 113:1-113:20, 2017（doi:10.1145/**）
46.
GJ Liu, CJ Jiang,Observable Liveness of Petri Nets with Controllable and Observable Transitions, Science China - Information Sciences, 2017, vol. 60: 118102-1--3 (doi:10.1007/s11432-016-0241-y)
45.
DM Xiang, GJ Liu, CG Yan, CJ Jiang,Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets, IEEE Transactions on Industrial Informatics, vol. 13, no. 6, pp. 2995--3005, 2017 (DOI: 10.1109/TII.2017.**)
44.
JZ Li, GJ Liu, CG Yan, CJ Jiang, Robust Learning to Rank Based on Portfolio Theory and AMOSA algorithm, IEEE Trans. SMC: Syst. 2017, vol.47, no. 6, pp. 1007--1018. (DOI: 10.1109/TSMC.2016.**)
43.
JZ Li, GJ Liu, J. Xia,Robust Ranking Model via Bias-Variance Optimization, in 2017 International Conference on Intellegent Computing, Liverpool, UK, Aug. 7--10, LNAI, vol. 10363, pp. 706--718, 2017. (DOI: 10.1007/978-3-319-63315-2_62)
42.
WJ Luan, GJ Liu, CJ Jiang, L Qi,Partition-based Collaborative Tensor Factorization for POI Recommendation, IEEE/CAA Journal of Automatica Sinica, 2017, vol. 4, no. 3, pp. 437--446. (doi: 10.1109/JAS.2017.**)
41.
DM Xiang, GJ Liu, CG Yan, CJ Jiang, DICER: Data Inconsistency Checker Based on The Unfolding Technique of Petri Net, the 14th ICNSC, Calabria, Italy, 2017, pp. 115--120
40.
K Zhang, GJ Liu, DM Xiang, BUCKER: A Basic Unfolding based Checker for Soundness of Workflow Systems, the 14th ICNSC, Calabria, Italy, 2017, pp. 611-616
39.
李金忠，刘关俊，一种鲁棒性增强的LambdaMART算法，小型微型计算机系统，vol. 38，no. 5，pp. 1044--1048，2017
----2016----
38.
GJ Liu, W Reisig, CJ Jiang, and MC Zhou,A Branching-process-based method to check soundness of workflow systems, IEEE Access, 2016, vol. 4: 4104-4118 (DOI: 10.1109/ACCESS.2016.**)
37.
GJ Liu,Complexity of the deadlock problem for Petri nets modelling resource allocation systems, Information Sciences, vol. 363, 2016:190-197
36.
GJ Liu, CJ Jiang,Behavioral Equivalence of Security-Oriented Interactive Systems, IEICE Trans. Inf. Syst. Vol. E99-D, No. 8, pp. 2061--2068, 2016 (DOI: 10.1587/transinf.2015INP0017)
35.
GJ Liu, LJ Chen,Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait, Int. J. Syst. Sci., 2016, 47(7):1533-1542
34.
GJ Liu, CJ Jiang, Petri net based model checking for the collaborative-ness of multiple processes systems, the 13th ICNSC, Maxico City, Apr. 28-30, 2016
33.
GJ Liu, K Zhang, CJ Jiang,Deciding the deadlock and livelock of a Petri net with a target marking based on its basic unfolding, the 16th ICA3PP, Spain, Dec. 14-16, 2016, LNCS 10048, 98--105
32.
SQ Wang, Aorigele, GJ Liu, SC Gao,A hybrid discrete imperialist competition algorithm for fuzzy job-shop scheduling problems, IEEE Access, 2016, 4: 9320--9331
31.
WY Yu, GJ Liu, LF He,A Reduction Method of Analyzing Data-liveness and Data-boundedness for a Class of E-commerce Business Process Nets, the 9th SpaCCS, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 70--83.
30.
MM Wang, GJ Liu, CJ Jiang,Computation of Secure Consistency for Real Systems, The 9th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS2016), Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10066, pp. 84--97.
29.
MM Wang, GJ Liu, CG Yan, CJ Jiang. Modeling and Vulnerable Points Analysis for E-commerce Transaction System with a Known Attack. In: Wang G., Ray I., Alcaraz Calero J., Thampi S. (eds) Security, Privacy, and Anonymity in Computation, Communication, and Storage. SpaCCS 2016. Lecture Notes in Computer Science, vol 10066. Springer, pp. 422--436.
28.
J Li, GJ Liu, CG Yan, CJ Jiang,A Hybrid Method of Recommending POIs Based on Context and Personal Preference Confidence, the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT2016), Shanghai, China, Dec. 6-9, 2016, pp. 287-292.
27.
WJ Luan, GJ Liu, CJ Jiang, Collaborative Tensor Factorization and its Application in POI Recommendation, the 13th ICNSC, Maxico City, Apr. 28-30, 2016 (best student paper award finalist)
26.
Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou,A multilevel index model to expedite web service discovery and composition in large-scale service repositories, IEEE Trans. Services Computing, 2016，9（3）：330-342
25.
LX Shen, CJ Jiang, GJ Liu,Satellite objects extraction and classification based on similarity measure, IEEE Trans. Systems, Man, and Cybernetics: Systems, vol. 46, no. 8, 2015: 1148--1154 (DOI: 10.1109/TSMC.2015.**)
24.
LF He, GJ Liu, MM Wang,Sufficient and necessary conditions to decide compatibility for simple circuit inter-organization workflow nets, the 10th APSCC, Zhangjiajie, China, Nov. 16-18, 2016, LNCS 10065, pp. 408--422.
23.
DM Xiang, GJ Liu, CG Yan, CJ Jiang,Checking the inconsistent data in concurrent systems by Petri nets with data operations, In: the 22nd ICPADS, 2016, Wuhan, China, pp. 501--508
----2015----
22.
GJ Liu, CJ Jiang,Secure Bisimulation for Interactive Systems, the 15th ICA3PP, LNCS 9530, 2015: 625-639
21.
GJ Liu, CJ Jiang,Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets, SCI. CHINA Inf. Sci., 2015, 58(7): 072103:1-16
20.
GJ Liu, CJ Jiang,Co-NP-hardness of the soundness problem for asymmetric-choice workflow nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2015, 45(8): 1201-1204
19.
GJ Liu, LJ Chen,Sufficient and Necessary Condition for Compatibility of a Class of Interorganizational Workflow Nets, Mathematical Problems in Engineering, 2015, vol. 2015, Article ID 392945, 11 pages
18.
ZW Li, M Uzam, GJ Liu, G Frey, Y Tang,Mathematical Problems in Petri nets theory and applications (Editoral), Mathematical Problems in Engineering, volume 2015, article ID 240385, 2 pages
----2014----
17.
GJ Liu,Some complexity results for the soundness problem of workflow nets, IEEE Trans. Services Computing, 2014, 7 (2): 322-328.
16.
GJ Liu, J Sun, Y Liu, and JS Dong,Complexity of the soundness problem of workflow nets, Fundamenta Informaticae, 2014, 131 (1): 81-101
----2013----
15.
GJ Liu, CJ Jiang, MC Zhou, PC Xiong,Interactive Petri nets, IEEE Trans. Syst., Man, Cybern.: Syst., 2013, 43 (2): 291-302.
14.
GJ Liu, CJ Jiang, MC Zhou, A Ohta,The Liveness of WS3PR: Complexity and Decision, IEICE Trans. Fundamentals, 2013, E96-A (8): 1783-1793
13.
Y Wu, CG Yan, ZJ Ding, GJ Liu, PW Wang, CJ Jiang, MC Zhou,A novel method for calculating service reputation, IEEE Trans. Automation Science and Engineering, 2013, 10(3): 634-642
----2012----
12.
GJ Liu, CJ Jiang, MC Zhou,Process nets with channels, IEEE Trans. Syst., Man, Cybern. A, 2012, 42 (1): 213-225
11.
GJ Liu, J Sun, Y Liu, JS Dong,Complexity of the soundness problem of bounded workflow nets, the 33rd ICATPN, 25-29 June 2012, Hamburg, Germany, LNCS 7347, pp. 92-107, 2012（Petri网与并发论国际顶级会议）
10.
D Chao, GJ Liu,A simple suboptimal siphon-based control model of a well-known S3PR, Asian J Control, 2012, 14(1): 163-172
----2011----
9.
GJ Liu, CJ Jiang, MC Zhou,Improved sufficient condition for the controllability of weakly dependent siphons in system of simple sequential processes with resources, IET Control Theory and Applications, 2011, 5 (9): 1059-1068
8.
GJ Liu, CJ Jiang, D Chao,A necessary and sufficient condition for the liveness of normal nets, the Comp. J. (Oxford University Press), 2011, 54 (1): 157-163
7.
GJ Liu, CJ Jiang, MC Zhou,Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets, ICNSC 2011, Delft, the Netherlands, April 11-13, 2011: 359-364
----2010----
6.
GJ Liu, CJ Jiang, MC Zhou,Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs, IEEE Trans. Aut. Sci. Eng., 2010, 7 (1): 945-957
5.
A Ohta, GJ Liu, K. Tsuji, CJ Jiang, D. Chao,Polynomial time solvability of liveness problem of structurally weakly persistent net, IEICE Technical Report (CST2010-13), 2010: 127-132.
----2009----
4.
GJ Liu, CJ Jiang,On conditions for the liveness of weakly persistent nets, Inform. Process. Lett., 2009, 109 (16): 967-970
3.
GJ Liu, CJ Jiang, ZH Wu, LJ Chen,A live subclass of Petri nets and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 41 (1-2): 66-74
2.
GJ Liu, CJ Jiang, LJ Chen, ZH Wu,Two types of extended RSNBs and their application in modeling flexible manufacturing systems, Int. J. Adv. Manuf. Tech., 2009, 45 (4-5): 573-582
1.
GJ Liu, CJ Jiang,Incidence matrix based methods for computing repetitive vectors and siphons of Petri net, J. Inf. Sci. Eng., 2009, 25 (1): 121-136

备注
博导/硕导