Buchholz, Peter, Prof. Dr.
Buchholz, Peter 1961-
VIAF ID: 39102185 (Personal)
Permalink: http://viaf.org/viaf/39102185
Preferred Forms
- 100 1 _ ‡a Buchholz, Peter ‡d 1961-
- 100 1 _ ‡a Buchholz, Peter, ‡c Prof. Dr.
-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (3)
- 551 _ _ ‡a Dortmund ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a Duisburg ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Technische Universität Dortmund ‡b Lehrstuhl für Praktische Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
aggregation, disaggregation algorithm for stochastic automata networks | |
aggregation of Markovian submodels in isolation | |
Block SOR for Kronecker structured representations | |
class of stochastic Petri nets with step semantics and related equivalence notions | |
Different approaches to the semantics of workflows | |
Efficient computation and representation of large reachability sets for composed automata | |
Equivalence transformations for acyclic phase type distributions | |
Grosse Netze der Logistik : die Ergebnisse des Sonderforschungsbereichs 559 | |
Hierarchical reachability graph generation for Petri nets | |
Hierarchies in colored GSPNs (extended version) | |
Iteration at different levels multi-level methods for structured Markov chains | |
MMB & PGTS 2004, 2004: | |
MMB 2008 | |
Model checking for a class of weighted automata | |
numerical analysis of a communication system with advance reservations | |
On a Markovian process algebra | |
Optimization of logistics systems methods and experiences ; symposium of the Collaborative Research Center 559 "Modelling of Large Logistics Networks" | |
Proceedings | |
Product form queueing Petri nets a combination of product form queueing networks and product form stochastic Petri nets | |
Quantitative Systemanalyse mit Markovschen Ketten eine Darstellung für Informatiker und Ingenieure | |
Die strukturierte Analyse Markovscher Modelle | |
Tagungsband | |
toolbox for functional and quantitative analysis of DEDS | |
Workshop Modellierung Großer Netze in der Logistik Dortmund, 01. April 2008 ; im Rahmen der 14. GI-ITG-Konferenz Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen (MMB 2008), 31. März - 2. April 2008, Dortmund |