Czasopismo
1999
|
Vol. 40, Nr 2,3
|
251-283
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
251-283
Opis fizyczny
bibliogr. 25 poz.
Twórcy
autor
- Department of Computing Science, University of Newcastle, Newcastle upon Tyne NE1 7RU, U.K., marta.Koutny@ncl.ac.uk
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0077