Rainer Prinoth Construction of Distributed Systems from Cycle-Free Finite Automata. 199-220 1982 conf/apn/1982 European Workshop on Applications and Theory of Petri Nets db/conf/apn/apn1982.html#Prinoth82