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,709 publications that cite this research output on Dimensions.
Article in Automatica (June 2024)
Article in Automatica (June 2024)
Article in Frontiers in Robotics and AI (May 2024)