openETCS/toolchain — pull request #39 by janWelte (2013-05-28 15:08:38+00:00)
Title: Edited petri nets appendix

Hallo Marielle,

I have added the petri nets appendix and would like to contribute this file to your document.

Best regards

Jan