Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/632.pdf
