文章基本信息

标题：Regular Trace Event Structures
本地全文：下载
作者：P. S. Thiagarajan
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1996
卷号：3
期号：32
出版社：Aarhus University
摘要：We 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.