openETCS/model-evaluation — pull request #26 by janWelte (2013-05-29 12:14:36+00:00)
Title: Added Information for the Petri Nets approach

I have added some documents explaining the petri net approach and showing the modells, since the work from 19997 can not be presented in details here.