GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Marco Ajmone Marsan, G. Conte, Gianfranco Balbo · ACM Transactions on Computer Systems · 1984 · 1.3K citations

Computing, Computer Science, Computer Systems +14

SPNP: stochastic Petri net package

Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi · 2003 · 548 citations

Engineering, Computer Science, Systems Engineering +11

Stochastic well-formed colored nets and symmetric modeling applications

G. Chiola, C. Dutheillet, G. Franceschinis et al. · IEEE Transactions on Computers · 1993 · 334 citations

Computing, Computer Science, Computer Systems +17

On the integration of delay and throughput measures in distributed processing models

Michael K. Molloy · 1981 · 258 citations

Engineering, Computer Engineering, Computer Science +14

Generalized stochastic Petri nets: a definition at the net level and its implications

G. Chiola, Marco Ajmone Marsan, Gianfranco Balbo et al. · IEEE Transactions on Software Engineering · 1993 · 246 citations

Engineering, Systems Engineering, Stochastic Modeling +12