|
[1]
|
Design of Liveness-Enforcing Supervisors for FMSs Modeled by S4PR with Controllable Places and Transitions
2023 International Conference on Computer Science, Information Technology and Engineering (ICCoSITE),
2023
DOI:10.1109/ICCoSITE57641.2023.10127786
|
|
|
|
|
[2]
|
Identifying the Saturated Line Based on the Number of Idle Places: Achieving Precise Maximal Permissiveness without Deadlocks Using Control Transitions or Control Places
Processes,
2023
DOI:10.3390/pr11082325
|
|
|
|
|
[3]
|
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)
Software and Systems Modeling,
2022
DOI:10.1007/s10270-021-00917-7
|
|
|
|
|
[4]
|
Maximally Permissive Deadlock Prevention Controlled in FMSs Based on the Siphons Petri Nets
2021 International Seminar on Machine Learning, Optimization, and Data Science (ISMODE),
2022
DOI:10.1109/ISMODE53584.2022.9743116
|
|
|
|
|
[5]
|
Supervisory Control for Flexible Manufacturing Systems Model Using S4PR-Nets Based on Siphon
2021 International Conference on Artificial Intelligence and Computer Science Technology (ICAICST),
2021
DOI:10.1109/ICAICST53116.2021.9497808
|
|
|
|
|
[6]
|
Theory and Engineering of Dependable Computer Systems and Networks
Advances in Intelligent Systems and Computing,
2021
DOI:10.1007/978-3-030-76773-0_4
|
|
|
|
|
[7]
|
One Novel and Optimal Deadlock Recovery Policy for Flexible Manufacturing Systems Using Iterative Control Transitions Strategy
Mathematical Problems in Engineering,
2019
DOI:10.1155/2019/4847072
|
|
|
|
|
[8]
|
Decision Support Simulation Method for Process Improvement of Intermittent Production Systems
Applied Sciences,
2017
DOI:10.3390/app7090950
|
|
|
|
|
[9]
|
Siphon-based deadlock prevention for a class of S4PR generalized Petri nets
2017 International Conference on Control, Automation and Information Sciences (ICCAIS),
2017
DOI:10.1109/ICCAIS.2017.8217583
|
|
|
|