Books by Gianfranco Ciardo
Transactions on Petri Nets and
Transactions on Petri Nets and Other Models of Concurrency XVII
Efficient symbolic state-space
Efficient symbolic state-space construction for asynchronous systems
Discrete-event simulation of f
Discrete-event simulation of fluid stochastic Petri nets
Storage alternatives for large
Storage alternatives for large structured state spaces
Discrete-time Markovian stocha
Discrete-time Markovian stochastic Petri nets
Distributed state-space genera
Distributed state-space generation of discrete-state stochastic models
On the minimum of independent
On the minimum of independent geometrically distributed random variables