Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesis of ENI-Systems Using Minimal Regions

Lookup NU author(s): Dr Marta Koutny



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 generated by them (TSENI) is established via the notion of a region. We have solved the general synthesis problem for ENI-systems in our earlier paper, 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 of Busi and Pinna, and show that these two methods are similar.

Publication metadata

Author(s): Pietkiewicz-Koutny M

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1998

Pages: 16

Print publication date: 01/01/1998

Source Publication Date: 1998

Report Number: 632

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne