Minimal Regions of ENL-Transition Systems

Authors:
Maciej Koutny;Marta Pietkiewicz-Koutny
Affiliations:
(Correspd.) School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K. maciej.koutny@ncl.ac.uk, marta.koutny@ncl.ac.uk;School of Computing Science, Newcastle University, Newcastle upon Tyne NE1 7RU, U.K. maciej.koutny@ncl.ac.uk, marta.koutny@ncl.ac.uk
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2010

Citing 13
Cited 0

Elementary transition systems

Selected papers of the Second Workshop on Concurrency and compositionality
Finite transition systems: semantics of communicating systems

Finite transition systems: semantics of communicating systems
The synthesis problem of Petri nets

Acta Informatica
The synthesis problem for elementary net systems is NP-complete

Theoretical Computer Science
The synthesis problem for elementary net systems with inhibitor arcs

Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Membrane Computing: An Introduction

Membrane Computing: An Introduction
Theory of Regions

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Synthesis of Net Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Synthesis of Nets with Step Firing Policies

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Elementary Net Systems with Context Arcs and Localities

Fundamenta Informaticae - PETRI NETS 2007
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Transition systems of elementary net systems with localities

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

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.