Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
This paper proposes a procedure to compute Abstractions with the observer property (OP) for discrete event systems. The procedure is a generalisation of an algorithm proposed before by the authors, which is based on a quadratic algorithm to test whether a given projection has the observer property. The new version proposed in this paper supports systems that have cycles of non-relevant events, thus removing a restriction of the previous version. Nevertheless, it retains its cubic complexity, which means that the method is asymptotically faster than other methods proposed in the literature to solve the same problem.