"A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions ..."

Hsu-Chun Yen (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics