Backward coupling in bounded free-choice nets under Markovian and non-Markovian assumptions
scientific article; zbMATH DE number 5696497