Transactions on Petri Nets and Other Models of Concurrency XVIIMaciej Koutny, Robin Bergenthum, Gianfranco Ciardo · First published 2023Open the Tome
Application and Theory of Petri Nets and ConcurrencyGianfranco Ciardo, Ekkart Kindler · First published 2014Open the Tome
Applications and Theory of Petri Nets 2005Gianfranco Ciardo, Philippe Darondeau · First published 2005Open the Tome
Efficient symbolic state-space construction for asynchronous systemsGianfranco Ciardo · First published 1999Open the Tome
Discrete-event simulation of fluid stochastic Petri netsGianfranco Ciardo · First published 1997Open the Tome
Storage alternatives for large structured state spacesGianfranco Ciardo · First published 1997Open the Tome
Distributed state-space generation of discrete-state stochastic modelsGianfranco Ciardo · First published 1995Open the Tome
On the minimum of independent geometrically distributed random variablesGianfranco Ciardo · First published 1994Open the Tome
