On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets.
IEEE Access, 2020
Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020