Toggle Main Menu Toggle Search

ePrints

Interval Temporal Logic Semantics of Box Algebra

Lookup NU author(s): Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.


Publication metadata

Author(s): Klaudel H, Koutny M, Duan Z

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Language and Automata Theory and Applications

Year of Conference: 2014

Pages: 441-452

ISSN: 0302-9743

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-319-04921-2_36

DOI: 10.1007/978-3-319-04921-2_36

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319049205


Actions

Link to this publication


Share