Zhijun Ding

According to our database, Zhijun Ding authored at least 115 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing.

Wangyang Yu, Jinming Kong, Zhijun Ding, Xiaojun Zhai, Zhiqiang Li, Qi Guo

ACM Trans. Embed. Comput. Syst., January, 2024

2023

Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets.

Ru Yang, Zhijun Ding, Changjun Jiang, MengChu Zhou

IEEE Trans Autom. Sci. Eng., October, 2023

FAST: A Forecasting Model With Adaptive Sliding Window and Time Locality Integration for Dynamic Cloud Workloads.

Binbin Feng, Zhijun Ding, Changjun Jiang

IEEE Trans. Serv. Comput., 2023

SCAFE: A Service-Centered Cloud-Native Workflow Engine Architecture.

Zhijun Ding, Yuanyuan Zhou, Shuaijun Wang, Changjun Jiang

IEEE Trans. Serv. Comput., 2023

A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers.

Shuo Wang, Zhijun Ding, Ru Yang, Changjun Jiang

IEEE Trans. Cloud Comput., 2023

Kubernetes-Oriented Microservice Placement With Dynamic Resource Allocation.

Zhijun Ding, Song Wang, Changjun Jiang

IEEE Trans. Cloud Comput., 2023

CFBenchmark: Chinese Financial Assistant Benchmark for Large Language Model.

Yang Lei, Jiangtong Li, Ming Jiang, Junjie Hu, Dawei Cheng, Zhijun Ding, Changjun Jiang

CoRR, 2023

CFGPT: Chinese Financial Assistant with Large Language Model.

Jiangtong Li, Yuxuan Bian, Guoxuan Wang, Yang Lei, Dawei Cheng, Zhijun Ding, Changjun Jiang

CoRR, 2023

Partial-order Checking with Unfolding for Linear Temporal Properties.

Shuo Li, Liao Zheng, Zhijun Ding

CoRR, 2023

Program Dependence Net and Its Slice for Verifying Linear Temporal Properties.

Zhijun Ding, Shuo Li, Cheng Chen, Cong He

CoRR, 2023

Autoscaling Method for Docker Swarm Towards Bursty Workload.

Qichen Huang, Song Wang, Zhijun Ding

Comput. Informatics, 2023

GROUP: An End-to-end Multi-step-ahead Workload Prediction Approach Focusing on Workload Group Behavior.

Binbin Feng, Zhijun Ding

Proceedings of the ACM Web Conference 2023, 2023

EnPAC: Petri Net Model Checking for Linear Temporal Logic.

Zhijun Ding, Cong He, Shuo Li

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

2022

Model Checking of Variable Petri Nets by Using the Kripke Structure.

Ru Yang, Zhijun Ding, Tong Guo, Meiqin Pan, Changjun Jiang

IEEE Trans. Syst. Man Cybern. Syst., 2022

Variable Petri Nets for Mobility.

Zhijun Ding, Ru Yang, Puwen Cui, Mengchu Zhou, Changjun Jiang

IEEE Trans. Syst. Man Cybern. Syst., 2022

COIN: A Container Workload Prediction Model Focusing on Common and Individual Changes in Workloads.

Zhijun Ding, Binbin Feng, Changjun Jiang

IEEE Trans. Parallel Distributed Syst., 2022

Incremental Learning Method for Data with Delayed Labels.

Haoran Gao, Zhijun Ding, Meiqin Pan

Comput. Informatics, 2022

Automated RESTful API Service Discovery with Various Interface Features.

Shuaijun Wang, Yuanyuan Zhou, Zhijun Ding

Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

Adaptive and Efficient GPU Time Sharing for Hyperparameter Tuning in Cloud.

Liu Liu, Jian Yu, Zhijun Ding

Proceedings of the 51st International Conference on Parallel Processing, 2022

Edge-weight-Based link prediction in heterogeneous graph.

Jie Zong, Zhijun Ding

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

A Novel Machine Learning Method for Delayed Labels.

Haoran Gao, Zhijun Ding

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Q-percentile Bandwidth Billing Based Geo-Scheduling Algorithm.

Yaoyin You, Binbin Feng, Zhijun Ding

Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022

2021

Elastic Scheduling for Microservice Applications in Clouds.

Sheng Wang, Zhijun Ding, Changjun Jiang

IEEE Trans. Parallel Distributed Syst., 2021

More Efficient On-the-Fly Verification Methods of Colored Petri Nets.

Cong He, Zhijun Ding

Comput. Informatics, 2021

Scene Text Image Super-Resolution via Parallelly Contextual Attention Network.

Cairong Zhao, Shuyang Feng, Brian Nlong Zhao, Zhijun Ding, Jun Wu, Fumin Shen, Heng Tao Shen

Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021

COPA: A Combined Autoscaling Method for Kubernetes.

Zhijun Ding, Qichen Huang

Proceedings of the 2021 IEEE International Conference on Web Services, 2021

Automatic Modeling Method for PThread Programs Based on Program Dependence Net.

Cheng Chen, Shuo Li, Zhijun Ding

Proceedings of the ICSED 2021: 3rd International Conference on Software Engineering and Development, Xiamen, China, November 19, 2021

2020

A Dynamic Data Slice Approach to the Vulnerability Analysis of E-Commerce Systems.

Mimi Wang, Zhijun Ding, Peihai Zhao, WangYang Yu, Changjun Jiang

IEEE Trans. Syst. Man Cybern. Syst., 2020

Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix.

Mimi Wang, Zhijun Ding, Guanjun Liu, Changjun Jiang, Mengchu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2020

Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach.

Puwen Cui, Ru Yang, Zhijun Ding

Int. J. Serv. Technol. Manag., 2020

A behavioral authentication method for mobile based on browsing behaviors.

Dongxiang Chen, Zhijun Ding, Chungang Yan, Mimi Wang

IEEE CAA J. Autom. Sinica, 2020

Petri net-based methods for analyzing structural security in e-commerce business processes.

Wangyang Yu, Zhijun Ding, Lu Liu, Xiaoming Wang, Richard David Crossley

Future Gener. Comput. Syst., 2020

A Method for Learning a Petri Net Model Based on Region Theory.

Jiao Li, Ru Yang, Zhijun Ding, Meiqin Pan

Comput. Informatics, 2020

Vulnerability Evaluation Method for E-Commerce Transaction Systems With Unobservable Transitions.

Mimi Wang, Zhijun Ding, Peihai Zhao

IEEE Access, 2020

QoS-Constrained Service Selection for Networked Microservices.

Zhijun Ding, Sheng Wang, Meiqin Pan

IEEE Access, 2020

DAG-Aware Joint Task Scheduling and Cache Management in Spark Clusters.

Yinggen Xu, Liu Liu, Zhijun Ding

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

LbR: A New Regression Architecture for Automated Feature Engineering.

Meng Wang, Zhijun Ding, Meiqin Pan

Proceedings of the 20th International Conference on Data Mining Workshops, 2020

2019

Heterogeneity Aware Workload Management in Distributed Sustainable Datacenters.

Dazhao Cheng, Xiaobo Zhou, Zhijun Ding, Yu Wang, Mike Ji

IEEE Trans. Parallel Distributed Syst., 2019

Interactive-Control-Model for Human-Computer Interactive System Based on Petri Nets.

Zhijun Ding, Haojie Qiu, Ru Yang, Changjun Jiang, MengChu Zhou

IEEE Trans Autom. Sci. Eng., 2019

RaceTest: harmful data race detection based on testing technology in WS-BPEL.

Zhijun Ding, Zexia Zhou

Serv. Oriented Comput. Appl., 2019

Behavior Analysis for Electronic Commerce Trading Systems: A Survey.

Peihai Zhao, Zhijun Ding, Mimi Wang, Ruihao Cao

IEEE Access, 2019

Accelerometer-Based Mobile Device Identification System for the Realistic Environment.

Zhijun Ding, Min Ming

IEEE Access, 2019

Bottleneck-Aware Task Scheduling Based on Per-Stage and Multi-ML Profiling.

Tiago Barreto Goes Perez, Xiaobo Zhou, Liu Liu, Zhijun Ding

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

2018

Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction.

WangYang Yu, Chungang Yan, Zhijun Ding, Changjun Jiang, Mengchu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2018

An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S³PR Nets.

Mengdi Gan, ShouGuang Wang, Zhijun Ding, MengChu Zhou, Wenhui Wu

IEEE Trans. Control. Syst. Technol., 2018

一种综合多因素的网页浏览行为认证方法 (Authentication Method Synthesizing Multi-factors for Web Browsing Behavior).

Dongxiang Chen, Zhijun Ding, Chungang Yan, Mimi Wang

计算机科学, 2018

Objectives and State-of-the-Art of Location-Based Social Network Recommender Systems.

Zhijun Ding, Xiaolun Li, Changjun Jiang, Mengchu Zhou

ACM Comput. Surv., 2018

A hybrid interpretable credit card users default prediction model based on RIPPER.

Pu Xu, Zhijun Ding, Meiqin Pan

Concurr. Comput. Pract. Exp., 2018

A Process-Profile-Based Method to Measure Consistency of E-Commerce System.

Mimi Wang, Zhijun Ding, Changjun Jiang, Peihai Zhao

IEEE Access, 2018

Configuration-Based Fingerprinting of Mobile Device Using Incremental Clustering.

Zhijun Ding, Wan Zhou, Zexia Zhou

IEEE Access, 2018

Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey.

Zhijun Ding, Ru Yang

IEEE Access, 2018

2017

Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.

Ru Yang, Zhijun Ding, Meiqin Pan, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2017

Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets.

Zhijun Ding, Meiqin Pan, Ru Yang, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2017

Recommending Locations Based on Users' Periodic Behaviors.

Bing Xu, Zhijun Ding, Hongzhong Chen

Mob. Inf. Syst., 2017

LBSNs中的群体行程推荐方法 (Group Travel Trip Recommendation Method in LBSNs).

Xiaolun Li, Zhijun Ding

计算机科学, 2017

A genetic algorithm based approach to transactional and QoS-aware service selection.

Zhijun Ding, YouQing Sun, Junjun Liu, Meiqin Pan, Jiafen Liu

Enterp. Inf. Syst., 2017

Network-aware service composition in mobile environment.

Zhijun Ding, Yuchen Chen, Meiqin Pan, Xiaolun Li, Pengwei Wang

Concurr. Comput. Pract. Exp., 2017

An improved credit card users default prediction model based on RIPPER.

Pu Xu, Zhijun Ding, Meiqin Pan

Proceedings of the 13th International Conference on Natural Computation, 2017

2016

Topic-Oriented Exploratory Search Based on an Indexing Network.

Haichun Sun, Changjun Jiang, Zhijun Ding, Pengwei Wang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2016

Performance Evaluation of Transactional Composite Web Services.

Zhijun Ding, YouQing Sun, Changjun Jiang, MengChu Zhou, Junjun Liu, Wenqi Song

IEEE Trans. Syst. Man Cybern. Syst., 2016

A Multilevel Index Model to Expedite Web Service Discovery and Composition in Large-Scale Service Repositories.

Yan Wu, ChunGang Yan, Zhijun Ding, GuanJun Liu, Pengwei Wang, Changjun Jiang, MengChu Zhou

IEEE Trans. Serv. Comput., 2016

Automatic Web Service Composition Based on Uncertainty Execution Effects.

Pengwei Wang, Zhijun Ding, Changjun Jiang, MengChu Zhou, Yuwei Zheng

IEEE Trans. Serv. Comput., 2016

A Socioecological Model for Advanced Service Discovery in Machine-to-Machine Communication Networks.

Lu Liu, Nick Antonopoulos, Minghui Zheng, Yongzhao Zhan, Zhijun Ding

ACM Trans. Embed. Comput. Syst., 2016

Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns.

WangYang Yu, ChunGang Yan, Zhijun Ding, Changjun Jiang, MengChu Zhou

IEEE Trans Autom. Sci. Eng., 2016

Online Adaptive Anomaly Detection for Augmented Network Flows.

Dennis Ippoliti, Changjun Jiang, Zhijun Ding, Xiaobo Zhou

ACM Trans. Auton. Adapt. Syst., 2016

移动网可达树 (Reachability Tree of Mobile Net).

Ruihua Zhang, Ru Yang, Zhijun Ding

计算机科学, 2016

A task scheduling strategy based on weighted round robin for distributed crawler.

Dajie Ge, Zhijun Ding, Hongfei Ji

Concurr. Comput. Pract. Exp., 2016

Recent Advances in Energy-Efficient Routing Protocols for Wireless Sensor Networks: A Review.

Jingjing Yan, Mengchu Zhou, Zhijun Ding

IEEE Access, 2016

Actuated green wave control for grid-like network traffic signal coordination.

Zhenyu Yang, Zhijun Ding

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

A behavioral authentication method for mobile gesture against resilient user posture.

Qiang Liu, Mimi Wang, Peihai Zhao, Chungang Yan, Zhijun Ding

Proceedings of the 3rd International Conference on Systems and Informatics, 2016

Deadlock control of multithreaded software based on Petri nets: A brief review.

Mengdi Gan, Zhijun Ding, Shouguang Wang, Wenhui Wu, Mengchu Zhou

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

2015

A Transaction and QoS-Aware Service Selection Approach Based on Genetic Algorithm.

Zhijun Ding, Junjun Liu, YouQing Sun, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2015

An Adaptive Multilevel Indexing Method for Disaster Service Discovery.

Yan Wu, ChunGang Yan, Lu Liu, Zhijun Ding, Changjun Jiang

IEEE Trans. Computers, 2015

Performance evaluation and simulation of peer-to-peer protocols for Massively Multiplayer Online Games.

Lu Liu, Andrew Jones, Nick Antonopoulos, Zhijun Ding, Yongzhao Zhan

Multim. Tools Appl., 2015

时间Petri网的可调度分析及在FMS中的应用 (Schedulability Analysis of Time Petri Net and its Application in FMS).

Zhengli Zhai, Zhijun Ding

计算机科学, 2015

An Efficient Webpage Classification Algorithm Based on LSH.

Junjun Liu, Haichun Sun, Zhijun Ding

Proceedings of the Intelligent Computation in Big Data Era, 2015

Mining Multiple Periods in Event Time Sequence.

Bing Xu, Zhijun Ding, Hongzhong Chen

Proceedings of the Advances in Services Computing, 2015

2014

An Investigation of Security Trends in Personal Wireless Networks.

Lu Liu, Thomas Stimpson, Nick Antonopoulos, Zhijun Ding, Yongzhao Zhan

Wirel. Pers. Commun., 2014

Modeling and Validating E-Commerce Business Process Based on Petri Nets.

WangYang Yu, ChunGang Yan, Zhijun Ding, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2014

Constraint-Aware Approach to Web Service Composition.

Pengwei Wang, Zhijun Ding, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2014

A Configurable State Class Method for Temporal Analysis of Time Petri Nets.

Li Pan, Zhijun Ding, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2014

An Indexing Network: Model and Applications.

Changjun Jiang, Haichun Sun, Zhijun Ding, Pengwei Wang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2014

Automated web service composition supporting conditional branch structures.

Pengwei Wang, Zhijun Ding, Changjun Jiang, Mengchu Zhou

Enterp. Inf. Syst., 2014

A Self-learning Clustering Algorithm Based on Clustering Coefficient.

Mingjie Zhong, Zhijun Ding, Haichun Sun, Pengwei Wang

Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

A Task Scheduling Strategy Based on Weighted Round-Robin for Distributed Crawler.

Dajie Ge, Zhijun Ding

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

PEWP: Process extraction based on word position in documents.

Yuchen Chen, Zhijun Ding, Haichun Sun

Proceedings of the Ninth International Conference on Digital Information Management, 2014

2013

Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform.

Pengwei Wang, Zhijun Ding, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2013

Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement.

Zhijun Ding, Changjun Jiang, Mengchu Zhou

ACM Trans. Embed. Comput. Syst., 2013

A Novel Method for Calculating Service Reputation.

Yan Wu, ChunGang Yan, Zhijun Ding, GuanJun Liu, Pengwei Wang, Changjun Jiang, MengChu Zhou

IEEE Trans Autom. Sci. Eng., 2013

An Executable Service Composition Code Automatic Creation Tool Based on Petri Net Model.

Zhijun Ding, Jiegi Liu, Junli Wang, Fang Wang

Comput. Informatics, 2013

Efficient Mobile Authentication Scheme Preserving User Privacy for Large-Scale Wireless Networks.

Li Wei, Yongtao Yao, Zhijun Ding, Qiong Pu

Ad Hoc Sens. Wirel. Networks, 2013

Modelling and Simulation of Peer-to-Peer Overlay Network Protocols using OverSim.

Jamie Moorhouse, Lu Liu, Zhiyuan Li, Zhijun Ding

Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013

Business Intelligence Security on the Clouds: Challenges, Solutions and Future Directions.

Hussain Al-Aqrabi, Lu Liu, Richard Hill, Zhijun Ding, Nick Antonopoulos

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

An Indexing Network Model for Information Services and Its Applications.

Changjun Jiang, Zhijun Ding, Pengwei Wang, Haichun Sun, Bo Yuan, Yuan He, ChunGang Yan, Hongzhong Chen

Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

A Novel Information Search and Recommendation Services Platform Based on an Indexing Network (Short Paper).

Xiaodong Deng, Ming Jiang, Haichun Sun, Yangjie Zhang, Junjun Liu, Yu Guo, Xin Wang, Dajie Ge, Pengwei Wang, Zhijun Ding, Hongzhong Chen

Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Real-Time Traffic Camera-Light Control Systems for Intersections Subject to Accidents: A Petri Net Approach.

Liang Qi, MengChu Zhou, Zhijun Ding

Proceedings of the IEEE International Conference on Systems, 2013

A Performance Visualization Method for OpenMP Tasks.

Cheng Qian, Zhijun Ding, Haiping Sun

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

Moments in Time: A Forensic View of Twitter.

Chris Howden, Lu Liu, Zhijun Ding, Yongzhao Zhan, K. P. Lam

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

2012

A Relational Taxonomy of Services for Large Scale Service Repositories.

Yan Wu, ChunGang Yan, Zhijun Ding, Pengwei Wang, Changjun Jiang, MengChu Zhou

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Analysis for one-place unbounded Petri nets based on modified reachability trees.

Yu Wang, Zhijun Ding

Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

2011

Indeterminacy-aware service selection for reliable service composition.

Xiaoqin Fan, Xianwen Fang, Zhijun Ding

Frontiers Comput. Sci. China, 2011

Web Service Composition Techniques in a Health Care Service Platform.

Pengwei Wang, Zhijun Ding, Changjun Jiang, Mengchu Zhou

Proceedings of the IEEE International Conference on Web Services, 2011

2010

Reliable Web Services Selection Using a Heuristic Algorithm.

Hongjie Shen, Zhijun Ding, Hongzhong Chen

Proceedings of the GCC 2010, 2010

2008

Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.

Zhijun Ding, Changjun Jiang, MengChu Zhou, Yaying Zhang

IEEE Trans. Syst. Man Cybern. Part A, 2008

Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.

Zhijun Ding, Changjun Jiang, MengChu Zhou

IEEE Trans. Syst. Man Cybern. Part B, 2008

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.

Zhijun Ding, Junli Wang, Changjun Jiang

J. Inf. Sci. Eng., 2008

2007

Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.

Xianfei Tang, Changjun Jiang, Zhijun Ding

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

AI Planning for Web Service Automatic Composition Using Petri Nets.

Zhijun Ding, Junli Wang, Hong Song

Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007

2006

Service Discovery Framework Using Fuzzy Petri Net.

Guangsheng Zhang, Changjun Jiang, Zhijun Ding

J. Comput. Res. Dev., 2006

Refinement of Petri Nets in Workflow Integration.

Zhijun Ding, Yaying Zhang, Changjun Jiang, Zhaohui Zhang

Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Formal Model of Workflow Integration and its Application in STISAG.

Zhijun Ding, Zhaohui Zhang, Changjun Jiang, Meiqin Pan

Proceedings of the 10th International Conference on CSCW in Design, 2006

GAOM: Genetic Algorithm Based Ontology Matching.

Junli Wang, Zhijun Ding, Changjun Jiang

Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006

2005

Semantic Web Service Composition Based on OWL-S.

Zhijun Ding, Junli Wang, Changjun Jiang

Proceedings of the 2005 International Conference on Semantics, 2005

An Ontology-based Public Transport Query System.

Junli Wang, Zhijun Ding, Changjun Jiang

Proceedings of the 2005 International Conference on Semantics, 2005

2002

Temporal Petri nets model of concurrent systems.

Zhijun Ding, Changjun Jiang

Comput. Syst. Sci. Eng., 2002