Railway Controller Synthesis Based On System Requirements

In this paper, we present a conception methodology based on system requirements, within which we propose to integrate formalisation and verification into the same process. This method uses the constraint programming paradigm to synthesize Petri nets corresponding to a formal expression of requirements as constraints over the PN structure. Some additional techniques are provided to incrementally refine the synthesized net until it satisfies the whole requirements