A Characterization of Combined Traces Using Labeled Stratified Order Structures
From MaRDI portal
Publication:3569864
DOI10.1007/978-3-642-13675-7_8zbMath1233.68166arXiv1004.0056OpenAlexW2161035123MaRDI QIDQ3569864
Publication date: 22 June 2010
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1004.0056
combined tracesstep sequencescausality theory of concurrencystratified order structureslabel-preserving isomorphism
Related Items (1)
This page was built for publication: A Characterization of Combined Traces Using Labeled Stratified Order Structures