Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Experience using Coloured Petri Nets to Model Railway Interlocking
  Tables   Interlocking tables are the functional specification defining the routes on
which the passage of the train is allowed. Associated with the route, the
states and actions of all related signalling equipment are also specified. It
is well-known that designing and verifying the interlocking tables are labour
intensive, tedious and prone to errors. To assist the verification process and
detect errors rapidly, we formally model and analyse the interlocking tables
using Coloured Petri Nets (CPNs). Although a large interlocking table can be
easily modelled, analysing the model is rather difficult due to the state
explosion problem and undesired safe deadlocks. The safe deadlocks are when no
train collides but the train traffic cannot proceed any further. For ease of
analysis we incorporate automatic route setting and automatic route cancelling
functions into the model. These help reducing the number of the deadlocks. We
also exploit the new features of CPN Tools; prioritized transitions; inhibitor
arcs; and reset arcs. These help reducing the size of the state spaces. We also
include a fail safe specification called flank protection into the interlocking
model.

3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
15
The categories of this paper are: nucl-ex
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph
2
The categories of this paper are: math
23
The categories of this paper are: solv-int