Minimal regions of ENL-transition systems

M Koutny, M Pietkiewicz-Koutny - Fundamenta Informaticae, 2010 - content.iospress.com
Fundamenta Informaticae, 2010content.iospress.com
One of the possible ways of constructing concurrent systems is their automated synthesis
from behavioural specifications. In this paper, we look at a particular instance of this
approach which aims at constructing GALS (globally asynchronous locally synchronous)
systems from specifications given in terms of transition systems with arcs labelled by steps of
executed actions. GALS systems are represented by Elementary Net Systems with Localities
(ENL-systems), each locality defining a set of co-located actions. The synthesis procedure is …
Abstract
One of the possible ways of constructing concurrent systems is their automated synthesis from behavioural specifications. In this paper, we look at a particular instance of this approach which aims at constructing GALS (globally asynchronous locally synchronous) systems from specifications given in terms of transition systems with arcs labelled by steps of executed actions. GALS systems are represented by Elementary Net Systems with Localities (ENL-systems), each locality defining a set of co-located actions. The synthesis procedure is based on the regions of transition systems and we provide a number of criteria aimed at generating a minimal set of regions (conditions) of an ENL-system generating a given transition system.
content.iospress.com
以上显示的是最相近的搜索结果。 查看全部搜索结果

Google学术搜索按钮

example.edu/paper.pdf
搜索
获取 PDF 文件
引用
References