Abstract is missing.
- An Approach for Supervisor Reduction of Discrete-Event SystemsHuimin Zhang, Lei Feng, Wu Xie, Feng Yu. 3-14 [doi]
- Multi-robot Path Planning Using Petri NetsHongbin Zhang, Jiliang Luo, Jinjun Long, YiSheng Huang, Weimin Wu. 15-26 [doi]
- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored CapacityZhaoYu Xiang. 27-40 [doi]
- The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI RegulatorZiHan Wei, Mi Zhao, Changxin Fu. 41-53 [doi]
- Vehicle Scheduling Problem in Terminals: A ReviewPei Wang. 54-67 [doi]
- Coverage Analysis of Net Inscriptions in Coloured Petri Net ModelsFaustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz. 68-83 [doi]
- ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri NetsRuotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin. 84-99 [doi]
- Towards Efficient Partial Order Techniques for Time Petri NetsKuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li. 100-115 [doi]
- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling AlgorithmsSalwa Habbachi, Zhiwu Li, Mohamed Khalgui. 116-130 [doi]
- Accurate Strategy for Mixed Criticality SchedulingYasmina Abdeddaïm. 131-146 [doi]
- Model-Based Design of Resilient Systems Using Quantitative Risk AssessmentBraham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem. 149-164 [doi]
- An Evaluation of Estimation Techniques for Probabilistic VerificationMariia Vasileva, Paolo Zuliani. 165-179 [doi]
- Formal Verification of a Certified Policy LanguageAmir Eaman, Amy P. Felty. 180-194 [doi]
- Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory DesignWilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed. 195-204 [doi]
- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion DetectionYingdi Wang, Yixiang Wang, Endong Tong, Wenjia Niu, Jiqiang Liu. 207-221 [doi]
- Deep Reinforcement Learning for Solving AGVs Routing ProblemChengxuan Lu, Jinjun Long, Zichao Xing, Weimin Wu, Yong Gu, Jiliang Luo, YiSheng Huang. 222-236 [doi]
- Research on Vehicle Detection Based on Visual Convolution Network OptimizationNanyan Liu, Jingyang You. 237-243 [doi]
- A Self-adaptive Multi-hierarchical Modular Neural Network for Complex ProblemsZhao-zhao Zhang, Qiu-wan Wang, Ying-qin Zhu. 244-256 [doi]
- Multi-scale Risk Assessment Model of Network Security Based on LSTMYinfei Lv, Huorong Ren, Xuefeng Gao, Tong Sun, Haopeng Zhang, Xinyu Guo. 257-267 [doi]
- Weighted Lightweight Image Retrieval Method Based on Linear RegressionLina Zhang, Xiangqin Zheng, Xuan Dang, Jiehui Zhang. 268-280 [doi]