Parallelism and Concurrency of Stochastic Graph Transformations

Reference : Parallelism and Concurrency of Stochastic Graph Transformations


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/3926

Title :	Parallelism and Concurrency of Stochastic Graph Transformations
Language :	English
Author, co-author :	Heckel, Reiko [University of Leicester, United Kingdom]
	Ehrig, Hartmut [Technische Universität Berlin, Germany]
	Golas, Ulrike [Technische Universität Berlin, Germany]
	Hermann, Frank [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Publication date :	2012
Journal title :	Graph Transformations
Publisher :	Springer
Volume :	7562
Pages :	96-110
Peer reviewed :	Yes
Event name :	Int. Conf. on Graph Transformation
Event date :	Sep. 2012
Event place (city) :	Bremen
Event country :	Germany
Keywords :	[en] graph transformation ; concurrency ; stochastic processes
Abstract :	[en] Graph transformation systems (GTS) have been proposed for high-level stochastic modelling of dynamic systems and networks. The resulting systems can be described as semi-Markov processes with graphs as states and transformations as transitions. The operational semantics of such processes can be explored through stochastic simulation. In this paper, we develop the basic theory of stochastic graph transformation, including generalisations of the Parallelism and Concurrency Theorems and their application to computing the completion time of a concurrent process.
Permalink :	http://hdl.handle.net/10993/3926

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	HEGH12.pdf		Publisher postprint	1.76 MB	Request a copy

All documents in ORBi^lu are protected by a user license.