Gianfranco Ciardo

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