G
Gianfranco Ciardo
10 works on record
Works

Application and Theory of Petri Nets and Concurrency
On the minimum of independent geometrically distributed random variables
On the minimum of independent geometrically distributed random variables
Discrete-event simulation of fluid stochastic Petri nets
Discrete-event simulation of fluid stochastic Petri nets
Parametric state space structuring
Parametric state space structuring
Discrete-time Markovian stochastic Petri nets
Discrete-time Markovian stochastic Petri nets
Distributed state-space generation of discrete-state stochastic models
Distributed state-space generation of discrete-state stochastic models
Storage alternatives for large structured state spaces
Storage alternatives for large structured state spaces
Efficient symbolic state-space construction for asynchronous systems
Efficient symbolic state-space construction for asynchronous systems
Applications and Theory of Petri Nets 2005
Applications and Theory of Petri Nets 2005
Transactions on Petri Nets and Other Models of Concurrency XVII
Transactions on Petri Nets and Other Models of Concurrency XVII