- title
- A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions
- Please use the following URL when quoting:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-100383
- Series
- Technische Berichte
- multivolume_volume0
- 2000,12 (TUD-FI00-12 November 2000)
- publication_date
- 2000
- issn
- 1430-211X
- Abstract (EN)
- This paper presents a class of Stochastic Petri Nets with concurrent transition firings. It is assumed that transitions occur in steps and that for every step each enabled transition decides probabilistically whether it wants to participate in the step or not. Among the transitions which what to participate in a step, a maximal number is chosen to perform the firing step. The observable behavior is defined and equivalence relations are introduced. The equivalence relations extend the well-known trace and bisimulation equivalences for systems with step semantics to Stochastik Petri Nets with concurrent transition firing. It is shown that the equivalence notions form a lattice of interrelations.
- Keywords (DE)
- Petri-Netze, Stochastik, stochastische Netze
- Keywords (EN)
- stochastic Petri nets, step semantics, equivalence relations, bisimulation
- Classification (DDC)
- 004
- Classification (RVK)
- SS 5514
- university_publisher
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-100383
- Qucosa date of publication
- 15.01.2013
- Document type
- research_paper
- Document language
- English
- licence
