English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

This paper addresses the problem of the detection of sequences of event executed in a Discrete-Event System modelled by Petri Nets. The nets are equipped with output symbols that an external observer is allowed to detect. To provide efficient solutions, the focus of this work is a subclass of nets called S-Systems. The construction of the Sequence-Detectability table leads to a necessary and sufficient condition for the characterization of the sequence detection in the case of safe nets. The safeness requirement is relaxed and its implication on the sequence detection is analyzed. Moreover, the utility of the sequence detectability in the analysis of the observability of the net is studied. An example illustrates the concepts and main results of this paper.

An Efficient Testing for the Detection of Trajectories in Discrete-Event Systems Modelled by S-Nets