Version 1
: Received: 1 May 2023 / Approved: 2 May 2023 / Online: 2 May 2023 (03:13:37 CEST)
How to cite:
Xu, Y.; Chen, Y.; Jun, C. Y. Analysis of Concurrent Systems Based on Interval Order. Preprints2023, 2023050049. https://doi.org/10.20944/preprints202305.0049.v1
Xu, Y.; Chen, Y.; Jun, C. Y. Analysis of Concurrent Systems Based on Interval Order. Preprints 2023, 2023050049. https://doi.org/10.20944/preprints202305.0049.v1
Xu, Y.; Chen, Y.; Jun, C. Y. Analysis of Concurrent Systems Based on Interval Order. Preprints2023, 2023050049. https://doi.org/10.20944/preprints202305.0049.v1
APA Style
Xu, Y., Chen, Y., & Jun, C. Y. (2023). Analysis of Concurrent Systems Based on Interval Order. Preprints. https://doi.org/10.20944/preprints202305.0049.v1
Chicago/Turabian Style
Xu, Y., YE Chen and Chen Yi Jun. 2023 "Analysis of Concurrent Systems Based on Interval Order" Preprints. https://doi.org/10.20944/preprints202305.0049.v1
Abstract
Studying concurrent systems is to sort the read/write and control events in the concurrent system according to the order, or in partial order, or in strict order. Because of the concurrency of events and the timeliness of writing events, there will be overlap between events, which requires interval order analysis. A single start and end sequence to represent the entire hierarchical order structure as well as all equivalent spaced order observations.a single sequence of beginnings and endings to represent the entire stratified order structures as well as all equivalent interval order observations. Mazurkiewicz traces and Comtracks are hierarchical traces, but they cannot describe interval traces. In a few sentences of this summary, we can tell the problems (petri interval traces with data), the previous work (Mazurkiewicz traces, Comtracks), the reasons that cannot be solved, and our own solutions (DPN: Petri nets with data, interval traces). This paper focuses on a BE (Beginnings and Endings) sequence representing an equivalent class of runs, or targets. Our goal is to have a BE sequence to represent the entire hierarchical order structure, that is, all equivalent observable interval orders.
Keywords
concurrent systems; Mazurkiewicz traces; interval order; Petri net with Data
Subject
Computer Science and Mathematics, Computer Science
Copyright:
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.