1. On Petri nets with deterministic and exponentially distributed firing times;Ajmone Marsan,1987
2. Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing;Ajmone Marsan,1995
3. Compositional validation of time-critical systems using communicating time Petri nets;Bucci;IEEE Transactions on Software Engineering,1995
4. Chiappini, A., Cimatti, A., Porzia, C., Rotondo, G., Sebastiani, R., Traverso, P., Villafiorita, A., 1999. Formal specification and development of a safety-critical train management system. In: SAFECOMP, pp. 410–419
5. GSM-R network for the high-speed line Rome-Naples;Coraiola;Signal und Draht,2000