Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
Article in Automatica (June 2024)
The most recent citing publications are shown below. View all 1,711 publications that cite this research output on Dimensions.
Article in Automatica (June 2024)
Article in Automatica (June 2024)
Article in Drones (May 2024)