Analysis of railway stations by means of interval timed coloured Petri nets

Aalst, Wil M. P. van der; Odijk, Michiel A.

doi:10.1007/bf01088807

Cited by 40 publications

(16 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Merlin (1974Merlin ( , 1976) introduced such a model in the early 1970's. Other models using interval timing have been proposed by Van der Aalst (1993, Van der Aalst and Odijk (1995), Berthomieu and Diaz (1991), and Berthomieu and Menasche (1993). However, most of the timed Petri net models use stochastic delays.…”

Section: Type Of Delaymentioning

confidence: 99%

“…In this new race there are several possibilities for the new enabling time of this transition. Authors such as Balbo and Silva (1984), Ajmone Marsan et al (1985, 1995 typically distinguish three so-called memory policies: age memory, enabling memory, and reset memory. For age memory, the remaining enabling time is frozen the moment the transition becomes disabled and is resumed the moment the transition becomes enabled again.…”

Section: Preselection Versus Race Semanticsmentioning

confidence: 99%

See 1 more Smart Citation

Analysis of discrete‐time stochastic petri nets

Aalst¹,

Hee²,

Reijers³

2000

Statistica Neerlandica

Self Cite

View full text Add to dashboard Cite

The Petri net formalism is widely applied in both theoretical and practical settings. For the sake of performance analysis, the original Petri net model has been extended with the notion of time. This paper addresses the different issues involved with this extension. Also, it provides a stateof-the-art overview of different analysis techniques for timed Petri nets. A new analysis technique is presented, which combines the freedom of choosing arbitrary time distributions within a Petri net model on the one hand and ef®cient computation means on the other.

show abstract

Section: Type Of Delaymentioning

confidence: 99%

Section: Preselection Versus Race Semanticsmentioning

confidence: 99%

Analysis of discrete‐time stochastic petri nets

Aalst¹,

Hee²,

Reijers³

2000

Statistica Neerlandica

Self Cite

View full text Add to dashboard Cite

show abstract

“…There are other ways of doing that: [52][53][54][55] uses ccs ( [51]), [39,3] uses Z ( [70,70,76]), [69] uses CSP ( [33,66,68]), and [47,28] uses RAISE, and so forth. Others have used Petri Nets: [4,5,72]. What we shal show is another approach.…”

Section: The Petri Net Part (Mp+ckm)mentioning

confidence: 99%

“UML–ising” Formal Techniques

Bjørner

George²,

Haxthausen

et al. 2004

Integration of Software Specification Techniques for Applications in Engineering

View full text Add to dashboard Cite

Abstract. This invited paper presents a number of correlated specifications of example railway system problems. They use a variety of partially or fully integrated formal specification. The paper thus represents a mere repository of what we consider interesting case studies.The existence of the Unified Modeling Language [10,67,36,20] has caused, for one reason or another, the research community to try formalise one or another facet of UML. In this paper we report on another way to achieve what UML attempts to achieve: Broadness of application, convenience of notation, and multiplicity of views. Whether these different UML views are unified, integrated, correlated or merely co-located is for others to dispute. We also seek to support multiple views, but are also in no doubt that there must be sound, well defined relations between such views.We thus report on ways and means of integrating formal techniques such as RAISE (RSL) [18,45,46], and TRSL with Duration Calculus [79,30]. In this way one achieves a firm foundation for combined uses of these formal development techniques, one that can be believably deployed for as wide a spectrum, or even a wider spectrum of software (and hardware) development, as, respectively than UML.1 The Problem The IssuesWhen we describe, in informal, yet reasonably precise natural (or at least domain specific professional) language the entities, the functions, the events and behaviours of an application domain, then we encounter, perhaps, little, if any problem. Our use of natural language is very flexible. Without hardly noticing it, we slip from one mode of description to another mode. (What these modes are will be apparent in the next paragraph.)When, now, on the basis of the informal narrative, we wish to formalise this description, then we might very well encounter serious problems. We refer here to the current inability of any one formal specification language to cater for all kinds of modes: Functional, imperative (ie., with states being changed by assignments to variables), logical, temporal, and concurrency modes, the latter with events and behaviours. In particular we often slip, in natural language, from describing such qualitative aspects of timing as concurrent behaviours and their synchronisation and communication, to such quantitative aspects of timing as absolute and relative time: "12:05 am" to "after 5 minutes and 30 seconds" -without hardly noticing it.

show abstract

“…Reference [17] presented a simulation model based on hybrid Petri Nets, which is able to help transit authorities to carry out performance evaluation procedures in order to prevent, reduce, and if possible avoid accidents of transit authorities. Reference [18] used interval Colored-Timed Petri Nets to model and analyze railway stations; the method constructed a reduced reachability graph and exploited the fact that delays were described by an interval.…”

Section: Introductionmentioning

confidence: 99%

A High-Speed Train Operation Plan Inspection Simulation Model

Yang

Mou

Jiang

2018

Mathematical Problems in Engineering

View full text Add to dashboard Cite

We developed a train operation simulation tool to inspect a train operation plan. In applying an improved Petri Net, the train was regarded as a token, and the line and station were regarded as places, respectively, in accordance with the high-speed train operation characteristics and network function. Location change and running information transfer of the high-speed train were realized by customizing a variety of transitions. The model was built based on the concept of component combination, considering the random disturbance in the process of train running. The simulation framework can be generated quickly and the system operation can be completed according to the different test requirements and the required network data. We tested the simulation tool when used for the real-world Wuhan to Guangzhou high-speed line. The results showed that the proposed model can be developed, the simulation results basically coincide with the objective reality, and it can not only test the feasibility of the high-speed train operation plan, but also be used as a support model to develop the simulation platform with more capabilities.

show abstract

Analysis of railway stations by means of interval timed coloured Petri nets

Cited by 40 publications

References 12 publications

Analysis of discrete‐time stochastic petri nets

Analysis of discrete‐time stochastic petri nets

“UML–ising” Formal Techniques

A High-Speed Train Operation Plan Inspection Simulation Model

Contact Info

Product

Resources

About