1. On Petri nets with deterministic and exponentially distributed firing times;Ajmone Marsan,1987
2. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems;Ajmone Marsan;ACM Trans. Comput. Syst.,1984
3. A theory of timed automata;Alur;Theoretical Comp. Science,1994
4. A Component-based Solution Method for Non-Ergodic Markov Regenerative Processes;Amparore,2010
5. DSPN-Tool: a new DSPN and GSPN solver for GreatSPN;Amparore,2010