Interval temporal logic semantics of box algebra

Abstract : By focusing on two specific formalisms, viz. Box Algebra and Interval Temporal Logic, we extend the recently introduced translation of Petri nets into behaviourally equivalent logic formulas. We remove restrictions concerning the way in which the control flow of a concurrent system is modelled, and allow for a fully general synchronisation operator. Crucially, we strengthen the notion of equivalence between a Petri net and the corresponding logic formula, by proving such an equivalence at the level of transition based executions of Petri nets, rather than just by considering their labels.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00984976
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, April 29, 2014 - 9:30:05 AM
Last modification on : Monday, October 28, 2019 - 11:00:24 AM

Links full text

Identifiers

Collections

Citation

Hanna Klaudel, Maciej Koutny, Zhenhua Duan. Interval temporal logic semantics of box algebra. 8th International Conference on Language and Automata Theory and Applications (LATA 2014), Mar 2014, Madrid, Spain. pp.441--452, ⟨10.1007/978-3-319-04921-2_36⟩. ⟨hal-00984976⟩

Share

Metrics

Record views

81