Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesis of ENI-systems Using Minimal Regions

Lookup NU author(s): Dr Marta Koutny


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We consider the synthesis problem for Elementary Net Systems with Inhibitor Arcs (ENI-systems) executed according to the a-priori semantics. The relationship between nets and transition systems generate by them (TSENI) is established via the notion of a region. The general synthesis problem for ENI-systems was solved in [20], and here we show how to optimise this solution using only minimal regions and selected inhibitor arcs. We also compare the proposed method of eliminating inhibitor arcs in ENI-systems with that introduced in [8] and show that they have similar effect.

Publication metadata

Author(s): Pietkiewicz-Koutny M

Editor(s): Sangiorgi, D., de Simone, R.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 9th International Conference on Concurrency Theory (CONCUR)

Year of Conference: 1998

Pages: 565-580

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/BFb0055648

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540648963