dalzilio
commented
11 years ago Jan,
I had a quick glance at the papers you uploaded on your petri net approach (at least the two in English ;-)) I am interested by this work, since our team is developping tools for editing and analysing Petri Nets and since we are always interested by new use cases.
Do you have any reference that explains why you need to use coloured Petri Nets? I guess I understand why you need a hierarchical model but I am not quite sure where colours get involved
Sincerely,
Silvano
On Wed, May 29, 2013 at 2:14 PM, Jan Welte notifications@github.com wrote:
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.
You can merge this Pull Request by running
git pull https://github.com/janWelte/model-evaluation master
Or view, comment on, or merge it at:
https://github.com/openETCS/model-evaluation/pull/26
Commit Summary
Added documents to demonstrate the petri nets approach
File Changes
A model/Petri_Nets-TU-BS+DB/1997_Hoerste_Modelling and Simulation of Train Control Systems.PDF (0) A model/Petri_Nets-TU-BS+DB/Modelling-and-simulation-of-the-new-european-train-control-system.pdf (0) A model/Petri_Nets-TU-BS+DB/einf.pdf (0) A model/Petri_Nets-TU-BS+DB/etcs_bd1.pdf (0)
Patch Links:
https://github.com/openETCS/model-evaluation/pull/26.patch https://github.com/openETCS/model-evaluation/pull/26.diff
Silvano DAL ZILIO CNRS / LAAS - Vertics Group
http://www.laas.fr/~dalzilio Tel: +33 561 33 78 20 Fax: - 64 117 avenue du Colonel Roche, BP 54200, F-31031 Toulouse Cedex 4
I have added some documents explaining the petri net approach and showing the modells, since the work from 1997 can not be presented in details here.