Toggle Main Menu Toggle Search

Open Access padlockePrints

The synthesis problem for elementary net systems with inhibitor arcs

Lookup NU author(s): Dr Marta Koutny

Downloads

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


Abstract

We investigate the synthesis problem for the Elementary Net Systems with Inhibitor Arcs (ENI-systems) executed according to the a-priori semantics. We characterise transition systems generated by ENI-systems, called TSENI transition systems, by adapting the notion of a step transition system whose arcs are labelled by sets of concurrently executed events. The relationship between the ENI-systems and TSENI transition systems is established via the notion of a region. We define, and show consistency of, two behaviour preserving translations between nets and transition systems. We also discuss how to optimise the synthesis procedure by using only minimal regions and selected inhibitor arcs.


Publication metadata

Author(s): Pietkiewicz-Koutny M

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 1999

Volume: 40

Issue: 2-3

Pages: 251-283

Print publication date: 01/11/1999

ISSN (print): 0169-2968

ISSN (electronic): 1875-8681

Publisher: IOS Press


Actions

Find at Newcastle University icon    Link to this publication


Share