Probability in Petri Nets

  • Authors:
  • Manfred Kudlek

  • Affiliations:
  • Fachbereich Informatik, Universität Hamburg, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany. E-mail: kudlek@informatik.uni-hamburg.de

  • Venue:
  • Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is demonstrated that the introduction of probability into Petri nets increases their power, in particular for their reachability sets. To achieve this the definition of accepted languages by probabilistic finite automata or probabilistic Turing machines with complexity restriction has to be modified.