Berndt Farwer, Manfred Kudlek, and Heiko Rölke.
Petri-net-controlled machine models.
Technical Report FBI-HH-B-274/06, Universität Hamburg,
Fachbereich Informatik, 2006.
@TechReport{Farwer+06a, author = {Farwer, Berndt and Kudlek, Manfred and R{\"o}lke, Heiko}, title = {Petri-Net-Controlled Machine Models}, institution = FBIUniHH, year = 2006, number = {FBI-HH-B-274/06} }