A Characterization of Combined Traces Using Labeled Stratified Order Structures
From MaRDI portal
Publication:3569864
DOI10.1007/978-3-642-13675-7_8zbMATH Open1233.68166arXiv1004.0056OpenAlexW2161035123MaRDI QIDQ3569864FDOQ3569864
Authors: Dai Tri Man Lê 
Publication date: 22 June 2010
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Abstract: This paper defines a class of labeled stratified order structures that characterizes exactly the notion of combined traces (i.e., comtraces) proposed by Janicki and Koutny in 1995. Our main technical contributions are the representation theorems showing that comtrace quotient monoid, combined dependency graph (Kleijn and Koutny 2008) and our labeled stratified order structure characterization are three different and yet equivalent ways to represent comtraces.
Full work available at URL: https://arxiv.org/abs/1004.0056
Recommendations
- Order structures for subclasses of generalised traces
- Stratified \(L\)-ordered convergence structures
- Note on stratified \(L\)-ordered convergence structures
- On three alternative characterizations of combined traces
- Algebraic structure of combined traces
- Algebraic structure of combined traces
- An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy
- Multitraces, hypertraces and partial order semantics
- scientific article; zbMATH DE number 1638658
- On partial order characterizations of information structures
step sequencescausality theory of concurrencystratified order structurescombined traceslabel-preserving isomorphism
Cited In (2)
This page was built for publication: A Characterization of Combined Traces Using Labeled Stratified Order Structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569864)
