Transition Systems of Elementary Net Systems with Inhibitor Arcs

摘要

Our aim is to completely characterize transition systems which can be generatedby Elementary Net Systems with inhibitor arcs. This is achieved by adapting the notion of a step transition system, i.e. one in which arcs are labeled by sets of events executed concurrently. In developing our 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 behavior preserving translation between nets and transition systems. Our results can be used to provide the basis for an automatic synthesis of nets with inhibitor arcs from operational descriptions expressed in terms of transition systems.