For the most recent entries see the
Petri Nets Newsletter.
Ciardo, G.
-
Chung, Ming-Ying;
Ciardo, Gianfranco;
Yu, Andy Jinqing:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
2006.
-
Chung, Ming-Ying;
Ciardo, Gianfranco;
Yu, Andy Jinqing:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
2006.
-
Ciardo, Gianfranco:
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?.
2004.
-
Chung, M.-Y.;
Ciardo, G.;
Donatelli, S.;
He, N.;
Plateau, B.;
Stewart, W.;
Sulaiman, E.;
Yu, J.:
A Comparison of Structural Formalisms for Modeling Large Markov Models.
2004.
-
Ciardo, Gianfranco:
Distributed and structured analysis approaches to study large and complex systems.
2001.
-
Ciardo, G.:
What a Structural World.
2001.
-
Jones, R.;
Ciardo, G.:
On Phased Delay Stochastic Petri Nets: Definition and an Application.
2001.
-
Ciardo, Gianfranco;
Luettgen, Gerald;
Siminiceanu, Radu:
Saturation: An efficient iteration strategy for symbolic state space generation.
2001.
-
Ciardo, Gianfranco;
Lüttgen, Gerald;
Siminiceanu, Radu:
Efficient Symbolic State-Space Construction for Asynchronous Systems.
2000.
-
Ciardo, G.;
Miner, A.S.:
Structural approaches for SPN analysis.
2000.
-
Ciardo, Gianfranco:
Tools for formulating Markov models.
1999.
-
Ciardo, G.;
Li, G.:
Approximate transient analysis for subclasses of deterministic and stochastic Petri nets.
1999.
-
Ciardo, G.;
Miner, A.S.:
A data structure for the efficient Kronecker solution of GSPNs.
1999.
-
Siminiceanu, Radu I.;
Ciardo, Gianfranco:
Formal verification of the NASA runway safety monitor.
.
-
Miner, Andrew S.;
Ciardo, Gianfranco:
Efficient Reachability Set Generation and Storage Using Decision Diagrams.
1999.
-
Ciardo, Gianfranco:
Stochastic Petri Nets: Introduction and Applications to the Modeling of Computer and Communication Systems.
1998.
-
Ciardo, Gianfranco;
Gluckman, Joshua;
Nicol, David:
Distributed state-space generation of discrete-state stochastic models.
1998.
-
Ciardo, G.;
Li, G.:
Efficient approximate transient analysis for a class of deterministic and stochastic Petri nets.
1998.
-
Nicol, David;
Ciardo, Gianfranco:
Automated parallelization of discrete state-space generation.
1997.
-
Zijal, Robert;
Ciardo, Gianfranco;
Hommel, Günter:
Discrete Deterministic and Stochastic Petri Nets.
1997.
-
Ciardo, Gianfranco;
Miner, Andrew S.:
Storage alternatives for large structured state spaces.
1997.
-
Ciardo, Gianfranco;
Nicol, David;
Trivedi, Kishor S.:
Discrete-event simulation of fluid stochastic Petri nets.
1997.
-
Ciardo, Gianfranco;
Miner, Andrew S.:
SMART: Simulation and Markovian Analyzer for Reliability and Timing.
1996.
-
Tilgner, Marco;
Takahashi, Yukio;
Ciardo, Gianfranco:
SNS: Synchronized Network Solver.
1996.
-
Ciardo, Gianfranco;
Zijal, Robert:
Well-Defined Stochastic Petri Nets.
1996.
-
Ciardo, Gianfranco;
Cherkasova, Ludmilla A.;
Kotov, Vadim E.;
Rokicki, Tom:
Modeling A Scalable High-Speed Interconnect with Stochastic Petri Nets.
1995.
-
Ciardo, Gianfranco;
Cherkasova, Lucy;
Kotov, Vadim;
Rokicki, Tomas:
Modeling a Fibre Channel Switch with Stochastic Petri Nets.
1995.
-
Trivedi, Kishor S.;
Bobbio, Andrea;
Ciardo, Gianfranco;
German, Reinhard;
Puliafito, Antonio;
Telek, Miklos:
Non-Markovian Petri Nets.
1995.
-
Ciardo, Gianfranco:
Discrete-time Markovian Stochastic Petri Nets.
1995.
-
Ciardo, Gianfranco:
Petri Nets with Marking-Dependent Arc Cardinality: Properties and Analysis.
1994.
-
Ciardo, Gianfranco;
Lindemann, Christoph:
Comments on `Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets'.
1994.
-
Ciardo, G.;
German, R.;
Lindemann, C.:
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.
1994.
-
Muppala, Jogesh K.;
Ciardo, Gianfranco;
Trivedi, Kishor S.:
Stochastic Reward Nets for Reliability Prediction.
1994.
-
Trivedi, Kishor S.;
Ciardo, Gianfranco;
Malhotra, M.;
Garg, S.:
Dependability and Performability Modeling using Stochastic Petri Nets.
1994.
-
Ciardo, G.;
Blakemore, A.;
Chimento, P.F.;
Muppala, J.K.;
Trivedi, K.S.:
Automated generation and analysis of Markov reward models using Stochastic Reward Nets.
1993.
-
Ciardo, Gianfranco;
Trivedi, Kishor S.:
SPNP: The Stochastic Petri Net Package (Version 3.1).
1993.
-
Muppala, J.K.;
Ciardo, G.;
Trivedi, K.S.:
Modeling Using Stochastic Reward Nets.
1993.
-
Ciardo, Gianfranco;
German, Reinhard;
Lindemann, Christoph:
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.
1993.
-
Ciardo, Gianfranco;
Lindemann, Christoph:
Analysis of Deterministic and Stochastic Petri Nets.
1993.
-
Lindemann, Christoph;
Ciardo, Gianfranco;
German, Reinhard;
Hommel, Günter:
Performability modeling of an automated manufacturing system with deterministic and stochastic Petri nets.
1993.
-
Ciardo, G.;
Muppala, J.K.;
Trivedi, K.S.:
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.
1992.
-
Ciardo, G.;
Muppala, J.K.;
Trivedi, K.S.:
On the Solution of GSPN Reward Models.
1991.
-
Ciardo, Gianfranco;
Trivedi, Kishor S.:
Solution of large GSPN models.
1991.
-
Ciardo, Gianfranco;
Trivedi, Kishor S.:
A Decomposition Approach for Stochastic Petri Net Models.
1991.
-
Ciardo, Gianfranco;
Muppala, Jogesh K.;
Trivedi, Kishor S.:
SPNP: Stochastic Petri Net Package.
1990.
-
Ciardo, G.:
Analysis of Large Stochastic Petri Net Models.
1989.
-
Ciardo, G.:
Toward a Definition of Modeling Power for Stochastic Petri Net Models.
1987.
-
Dugan, Joanne Bechta;
Ciardo, Gianfranco:
Stochastic Petri Net Analysis of a Replicated File System.
1987.
-
Ajmone Marsan, M.;
Balbo, G.;
Ciardo, G.;
Conte, G.:
A Software Tool for the Automatic Analysis of Generalized Stochastic Petri Net Models.
1985.
-
Dugan, J.B.;
Bobbio, A.;
Ciardo, G.;
Trivedi, K.S.:
The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
1985.
-
Trivedi, K.S.;
Ciardo, G.;
Bobbio, A.;
Dugan, J.B.:
Design of a Unified Package for the Solution of Stochastic Petri Net Models.
1984.
-
Ciardo, Gianfranco:
Le reti di Petri stocastiche generalizzate: uno strumento per la modellizzazione di sistemi distribuiti.
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography