Horváth, A.

• Gribaudo, M.; Horváth, A.; Bobbio, Andrea; Tronci, E.; Ciancamerla, E.; Minichino, M.:
  Fluid Petri Nets and hybrid model-checking: a comparative case study. 2003.

• Bobbio, Andrea; Horvath, Andras:
  Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. 2002.

• Gribaudo, Marco; Horváth, A.; Bobbio, A.; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele:
  Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. 2002.

• Gribaudo, M.; Horvath, A.:
  Fluid Stochastic Petri Nets Augmented with Flush-out Arcs. A Transient Analysis Technique. 2001.

• Horváth, A.; Telek, M.:
  Time domain analysis of NMSPN with PRI transitions. 2001.

• Bernardi, S.; Donatelli, S.; Horváth, A.:
  Implementing compositionality for stochastic Petri nets. 2001.

• Telek, Miklós; Horváth, András:
  Transient analysis of Age-MRSPNs by the method of supplementary variables. 2001.

• Gribaudo, M.; Sereno, M.; Horvath, A.; Bobbio, A.:
  Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. 2001.

• Horváth, András; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós:
  Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. 2000.

• Bernardi, S.; Donatelli, S.; Horváth, A.:
  Compositionality in the GreatSPN Tool and Its Application to the Modelling of Industrial Applications. 2000.

• Bobbio, A.; Garg, S.; Gribaudo, M.; Sereno, M.; Horvath, A.; Telek, M.:
  Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. 1999.

Back to the Petri Nets Bibliography