Towards modeling and evaluation of ETCS real-time communication and operation

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Engineering, Systems Engineering, Stochastic Modeling +9

A unified high-level Petri net formalism for time-critical systems

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca et al. · IEEE Transactions on Software Engineering · 1991 · 345 citations

Engineering, Computer Science, Systems Engineering +15

Compositional validation of time-critical systems using communicating time Petri nets

Giacomo Bucci, Enrico Vicario · IEEE Transactions on Software Engineering · 1995 · 100 citations

Engineering, Computer Science, Systems Engineering +17

A train control system case study in model-based real time system design

Armin Zimmermann, G. Hommel · 2004 · 69 citations

Engineering, Computer Engineering, Systems Engineering +16