- Tytuł:
- Visualisation of concurrent processes
- Autorzy:
-
Mikulski, Ł
Piątkowski, M. - Powiązania:
- https://bibliotekanauki.pl/articles/205775.pdf
- Data publikacji:
- 2013
- Wydawca:
- Polska Akademia Nauk. Instytut Badań Systemowych PAN
- Tematy:
-
concurrency
partial order
Hasse diagram
directed acyclic graph
linearisation
Mazurkiewicz traces - Opis:
- Mazurkiewicz traces are a widely used model for describing the languages of concurrent systems computations. The causal structure of atomic actions occurring in a process modeled as a trace generates a partial order. Hasse diagrams of such order are very common structures used for presentation and investigation in the concurrency theory, especially from the behavioural perspective. We present effective algorithms for Hasse diagrams construction and transformation. Later on, we use them for enumeration of all linearisations of the partial order that represents a concurrent process. Additionally, we attach the flexible visual implementation of all considered Algorithms.
- Źródło:
-
Control and Cybernetics; 2013, 42, 3; 699-725
0324-8569 - Pojawia się w:
- Control and Cybernetics
- Dostawca treści:
- Biblioteka Nauki
Artykuł