Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande

First Page		Document Content
Date: 2018-05-18 11:48:39 Markov models Concurrency Graph theory Markov chain Stochastic Petri net Computing Mathematics Formal methods		Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande Add to Reading List Source URL: cgi.csc.liv.ac.uk Download Document from Source Website File Size: 1,09 MB Share Document on Facebook

	HSC 8 - Water November 19, 2014 Research Center, Pori / Petri Kobylin, Peter BjörklundORC-J DocID: 1veqN - View Document
	HSC 8 – Equilibrium Module November 25, 2014 Research Center, Pori / Petri Kobylin, Lena Furta, Danil VilaevORC-J DocID: 1vbcR - View Document
	Imperial College London Department of Computing Automated Construction of Petri Net Performance Models from High-Precision Location Tracking Data DocID: 1v0XK - View Document
	HSC 8 – Heat and Material Balance November 19, 2014 Research Center, Pori / Petri Kobylin, Antti Roine, Peter BjörklundORC-J DocID: 1uNE7 - View Document
	Model engineering on Petri nets for ISO/IEC: API Framework for Petri Net types metamodels Lom Hillah, Fabrice Kordon (LIP6, Univ. P. & M. Curie), {lom-messan.hillah,fabrice.kordon}@lip6.fr Laure Petrucci (LIPN, U DocID: 1uLAw - View Document