Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions by Tao Qin, Zhiwu Li

Get full text

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions by Amal Zaghdoud, Zhiwu Li

Get full text

Critical Observability Enforcement in Discrete Event Systems Using Differential Privacy by Jie Zhang, Zhiwu Li

Get full text

The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems by Younes Rouabah, Zhiwu Li

Get full text

Rapid method for high-quality RNA isolation from seed endosperm containing high levels of starch by Zhiwu Li, Harold N. Trick

Get full text

Analysis of a multimachine flexible manufacturing cell using stochastic Petri nets by Abdulrahman Al-Ahmari, Zhiwu Li

Get full text

Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles by Le Zhang, Mohamed Khalgui, Zhiwu Li

Get full text

Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority by Yejia Liu, Xunbo Li, Zhiwu Li

Get full text

Prediction of Air Pollution Interval Based on Data Preprocessing and Multi-Objective Dragonfly Optimization Algorithm by Jiyang Wang, Jingrui Li, Zhiwu Li

Get full text

A Two-Phase Development of Fuzzy Rule-Based Model and Their Analysis by Dan Wang, Witold Pedrycz, Zhiwu Li

Get full text

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment by Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li

Get full text

A symbolic approach to the verification and enforcement of current‐state opacity using labelled Petri nets by Kun Peng, Yufeng Chen, Zhiwu Li

Get full text

A Data-Driven-Based Wavelet Support Vector Approach for Passenger Flow Forecasting of the Metropolitan Hub by Ming Tang, Zhiwu Li, Guangdong Tian

Get full text

Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation by Miao Liu, Shouguang Wang, Zhiwu Li

Get full text

Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arrays—A Case Study Example by Remigiusz Wiśniewski, Marcin Wojnakowski, Zhiwu Li

Get full text

An Optimal Transition-Based Recovery Policy for Controlling Deadlock Within Flexible Manufacturing Systems Using Graph Technique by Mahmoud Salaheldin Elsayed, Khaled Kefi, Zhiwu Li

Get full text

A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems by Chao Gu, Zhiwu Li, Abdulrahman Al-Ahmari

Get full text

Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems by Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li

Get full text

Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search by Jiazhong Zhou, Jiliang Luo, Dimitri Lefebvre, Zhiwu Li

Get full text

Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement by Zhou He, Miao Liu, Ning Ran, Zhiwu Li

Get full text