Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesising elementary net systems with inhibitor arcs from step transition systems

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 here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two different types of non-interleaving semantics of such Petri nets, the a-posteriori and a-priori semantics. The synthesis problem for Elementary Net Systems with Inhibitor Arcs executed under the a-priori semantics (ENI) was solved in [18]. In this paper we completely characterise transition systems which can be generated by Elementary Net Systems with Inhibitor Arcs executed under the a-posteriori semantics (ENIapost). This is achieved by adapting the notion of a step transition system, i.e. one in which arcs are labelled by sets of events executed concurrently. In developing the model, we follow the standard approach in which the relationship between nets and their 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 then compare transition systems which are generated by ENIapost and ENI-systems (called respectively TSENIapost and TSENI transition systems).


Publication metadata

Author(s): Pietkiewicz-Koutny M

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 2002

Volume: 50

Issue: 2

Pages: 175-203

ISSN (print): 0169-2968

ISSN (electronic): 1875-8681

Publisher: IOS Press


Actions

Find at Newcastle University icon    Link to this publication


Share