论文信息 - Large scale construction of railroad models from specifications

Large scale construction of railroad models from specifications

In this paper we present techniques for constructing large scale models of railroads from a simple graphical specification language, using Petri nets. A prototype tool based on this analysis has been implemented, allowing the user to write specifications and generate large Petri nets automatically. A sufficient amount of algebra for composition is developed in order to exploit the advantages of both modern GUI programming and Petri nets.

Anders Moen Hagalisletto | Ingrid Chieh Yu

[1] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[2] Michael Meyer zu Hörste. Modelling and Simulation of Train Control Systems using Petri Nets , 1999 .

[3] C. A. R. Hoare,et al. Proof of correctness of data representations , 1972, Acta Informatica.

[4] Jörn Pachl,et al. Railway Operation and Control , 2002 .

[5] Maciej Koutny,et al. Petri Net Algebra , 2001, Monographs in Theoretical Computer Science An EATCS Series.

[6] Shamkant B. Navathe,et al. Information and Process Integration in Enterprises: Rethinking Documents , 1998 .

[7] Eckehard Schnieder,et al. Formal Modelling and Simulation of Train Control Systems Using Petri Nets , 1999, World Congress on Formal Methods.

[8] Claus Reinke,et al. On Modelling Train Traffic in a Model Train System , 1998 .

[9] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[10] T. Kristoffersen,et al. Extracting high-level information from Petri nets: a railroad case , 2003, Proceedings of the Estonian Academy of Sciences. Physics. Mathematics.

[11] Wil M.P. van der Aalst,et al. Three good reasons for using a Petri-net-based workflow management system , 1996 .