Regular Trace Event Structures
AbstractWe propose trace event structures as a starting point for constructing effective branching time temporal logics in a non-interleaved setting. As a first step towards achieving this goal, we define the notion of a regular trace event structure. We then provide some simple characterizations of this notion of regularity both in terms of recognizable trace languages and in terms of finite 1-safe Petri nets.
How to Cite
Thiagarajan, P. (1996). Regular Trace Event Structures. BRICS Report Series, 3(32). https://doi.org/10.7146/brics.v3i32.20012
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.