Ciardo, Gianfranco books & textbook
Transactions on Petri Nets and Other Models of Concurrency XVII
Koutny, Maciej Bergenthum, Robin Ciardo, Gianfranco
Springer /2023-11-01 Paperback / 316 Pages
isbn-10: 3662681900 / isbn-13: 9783662681909
Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings (Theoretical Computer Science and General Issues)
Ciardo, Gianfranco Kindler, Ekkart
Springer /2014-05-23 Paperback / 409 Pages
isbn-10: 3319077333 / isbn-13: 9783319077338
Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings (Lecture Notes in Computer Science, 3536)
Ciardo, Gianfranco Darondeau, Philippe
Springer /2005-06-09 Paperback / 486 Pages
isbn-10: 3540263012 / isbn-13: 9783540263012
Saturation: An Efficient Iteration Strategy for Symbolic State-space Generation
PN /2001T Paperback
Efficient Symbolic State-Space Construction for Asynchronous Systems
PN /1999T Paperback
Storage Alternatives for Large Structured State Spaces
PN /1997T Paperback
On the Use of Kronenecker Operators for the Solution of Generalized Stochastic Petri Nets
PN /1996T Paperback
Discrete-Event Simulation of Fluid Stochastic Petri Nets
PN /1997T Paperback
On the Minimum of Independent Geometrically Distributed Random Variables
PN /1994T Paperback
