Gianfranco Ciardo

No bio available. Add one in Open Library.

Books by Gianfranco Ciardo (50 max)

+ shelf+ list

Discrete-event simulation of fluid stochastic Petri nets

1997

Gianfranco Ciardo

+ shelf+ list

Efficient symbolic state-space construction for asynchronous systems

1999

Gianfranco Ciardo

+ shelf+ list

Discrete-time Markovian stochastic Petri nets

1995

Gianfranco Ciardo

+ shelf+ list

Distributed state-space generation of discrete-state stochastic models

1995

Gianfranco Ciardo

+ shelf+ list

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

2014

Gianfranco Ciardo, Ekkart Kindler

+ shelf+ list

On the minimum of independent geometrically distributed random variables

1994

Gianfranco Ciardo

+ shelf+ list

Parametric state space structuring

1997

Gianfranco Ciardo

+ shelf+ list

Storage alternatives for large structured state spaces

1997

Gianfranco Ciardo

+ shelf+ list

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings

2005

Gianfranco Ciardo, Philippe Darondeau

+ shelf+ list

Transactions on Petri Nets and Other Models of Concurrency XVII

2023

Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo