2019
DOI: 10.3233/fi-2019-1820
|View full text |Cite
|
Sign up to set email alerts
|

From Box Algebra to Interval Temporal Logic

Abstract: In this paper, we further develop a recently introduced semantic link between temporal logics and Petri nets. We focus on two specific formalisms, Interval Temporal Logic (ITL) and Box Algebra (BA), which are closely related by their compositional approach to constructing system descriptions. The overall goal of our investigation is to translate Petri nets into behaviourally equivalent logical formulas. As a result, the analysis of system properties can be carried out using either of the two formalisms, exploi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 35 publications
0
1
0
Order By: Relevance
“…e goal of semantic analysis is to realize the automatic semantic analysis of vocabulary, sentences, and chapters and understand the meaning of language text expression by establishing effective computational analysis models. Among them, the semantic analysis of words is the basis, and the commonly used knowledge expression methods include semantic field, semantic network, concept map, and ontology [6].…”
Section: Introductionmentioning
confidence: 99%
“…e goal of semantic analysis is to realize the automatic semantic analysis of vocabulary, sentences, and chapters and understand the meaning of language text expression by establishing effective computational analysis models. Among them, the semantic analysis of words is the basis, and the commonly used knowledge expression methods include semantic field, semantic network, concept map, and ontology [6].…”
Section: Introductionmentioning
confidence: 99%