Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets

[1]  Peter Huber,et al.  Reachability Trees for High-level Petri Nets , 1986, Theor. Comput. Sci..

[2]  Mikko Tiusanen,et al.  Symbolic, Symmetry, and Stubborn Set Searches , 1994, Application and Theory of Petri Nets.

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[5]  Greg Findlow,et al.  Obtaining Deadlock-Preserving Skeletons for Coloured Nets , 1992, Application and Theory of Petri Nets.

[6]  Kimmo Varpaaniemi,et al.  On Combining the Stubborn Set Method with the Sleep Set Method , 1994, Application and Theory of Petri Nets.

[7]  Wolfgang Reisig,et al.  Petri Net Models of Distributed Algorithms , 1995, Computer Science Today.

[8]  Jean-Michel Couvreur,et al.  New Structural Invariants for Petri Nets Analysis , 1994, Application and Theory of Petri Nets.

[9]  Juan A. Carrasco,et al.  Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets , 1989, PNPM.

[10]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[11]  Jonathan Billington,et al.  Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN , 1996, Application and Theory of Petri Nets.

[12]  Jean-François Pradat-Peyre,et al.  Generative Families of Positive Invariants in Coloured Nets Sub-Classes , 1991, Applications and Theory of Petri Nets.

[13]  Kenneth H. Rosen,et al.  Discrete Mathematics and its applications , 2000 .

[14]  Antti Valmari,et al.  Compositional Analysis with Place-Bordered Subnets , 1994, Application and Theory of Petri Nets.

[15]  J. Billington,et al.  Modelling and simulation of a railway network using coloured Petri nets , 1995 .

[16]  Jonathan Billington,et al.  Removing Deadlock from a Railway Network Specification , 1996 .

[17]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.

[18]  Laure Petrucci,et al.  Towards a Modular Analysis of Coloured Petri Nets , 1992, Application and Theory of Petri Nets.

[19]  O. S. Nock,et al.  Historic Railway Disasters , 1969 .

[20]  Jonathan Billington,et al.  State space analysis of a railway network , 1996, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).

[21]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[22]  Michael G. Hinchey,et al.  COBOL on Broadway: an Innovative Approach to Teaching Programming Concepts , 2014, Communications of the IIMA.

[23]  Serge Haddad,et al.  A reduction theory for coloured nets , 1988, European Workshop on Applications and Theory in Petri Nets.

[24]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[25]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[26]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

[27]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[28]  Javier Martínez,et al.  Linear invariants in commutative high level nets , 1989, Applications and Theory of Petri Nets.

[29]  C. Petri.  Kommunikation mit Automaten , 1962 .

[30]  Jonathan Billington,et al.  High-Level Nets For Dynamic Dining Philosophers Systems , 1990 .

[31]  Antti Valmari,et al.  Stubborn sets for reduced state space generation , 1991, Applications and Theory of Petri Nets.

[32]  Jonathan P. Bowen,et al.  The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective , 1993, FME.

[33]  P. Ladet,et al.  Generalized Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets , 1991 .

[34]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[35]  Larry J. Gerstein.  Discrete mathematics and algebraic structures , 1987 .

[36]  Kurt Jensen.  Condensed state spaces for symmetrical Coloured Petri Nets , 1996, Formal Methods Syst. Des..

[37]  Darrel C. Ince,et al.  Practical formal methods with VDM , 1991 .

[38]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[39]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[40]  Jens Linneberg Rasmussen,et al.  Designing a Security System by Means of Coloured Petri Nets , 1996, Application and Theory of Petri Nets.

[41]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[42]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[43]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[44]  Kurt Lautenbach,et al.  Use of Petri Nets for Proving Correctness of Concurrent Process Systems , 1974, IFIP Congress.

[45]  Jonathan Billington.  Extensions to coloured Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[46]  C. A. Petri.  Communication with automata , 1966 .

[47]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

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

[49]  Gert Scheschonk,et al.  Simulation and Analysis of a Document Storage System , 1994, Application and Theory of Petri Nets.

[50]  Alan Williams,et al.  British Railway Signalling , 1968 .

[51]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[52]  Alain Finkel,et al.  The Minimal Coverability Graph for Petri Nets , 1991, Applications and Theory of Petri Nets.

[53]  Jonathan Billington,et al.  Many-sorted high-level nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[54]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[55]  R. Stoll.  Sets, logic, and axiomatic theories , 1962 .