Translating robot programming language flow control into Petri nets.

Jrgen Rossmann, Kevin Eilers

Browse the full ETFA paper archive.