Search - Coordination Models and Languages Access content directly

Filter your results

1 Array
Keywords : Control Tables
Image document

Modelling Railway Interlocking Tables Using Coloured Petri Nets

Somsak Vanit-Anunchai
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.137-151, ⟨10.1007/978-3-642-13414-2_10⟩
Conference papers hal-01054630v1