A reference model for grid architectures and its validation

Autor: Wil van der Aalst, Carmen Bratosin, Natalia Sidorova, Nikola Trčka

Publikováno v: Concurrency and Computation : Practice & Experience, 22(11), 1365-1385. Wiley

Computing and data-intensive applications in physics, medicine, biology, graphics, and business intelligence require large and distributed infrastructures to address the challenges of the present and the future. For example, process mining applicatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df6174b0a1f4da14523ba95f00c148e9
https://doi.org/10.1002/cpe.1505

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets

Autor: Nikola Trčka, Marc Voorhoeve, Twan Basten

Publikováno v: ACSD

Model-driven Design-Space Exploration (DSE) for embedded systems has proven to speed up system design and improve quality. Parameterized Partial Orders (PPOs) are a simple yet powerful conservative extension of classical partial orders. They serve as

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c7eb8ac3f48f5e88b961cce02e9c4dbc
https://doi.org/10.1109/acsd.2011.14

Computation Tree Logic with Deadlock Detection

Autor: Bas Luttik, Nikola Trčka, Rob van Glabbeek

Publikováno v: van Glabbeek, R J, Luttik, B & Trcka, N 2009, ' Computation Tree Logic with Deadlock Detection ', Logical Methods in Computer Science, vol. 5, no. 4 . https://doi.org/10.2168/LMCS-5(4:5)2009
Logical Methods in Computer Science, 5(4). Technischen Universitat Braunschweig
Logical Methods in Computer Science, 5(4:5), 1-24. Technischen Universitat Braunschweig

We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This relation is obtained by De Nicola & Vaandrager by translating labelled

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6001018dc54da572dd90e58034eccae
https://doi.org/10.2168/lmcs-5(4:5)2009

Soundness and Niceness as Correctness Criteria for Grid Workflows

Autor: Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trčka

Publikováno v: eScience
Proceedings of the IEEE Fourth International Conference on e-Science (Indianapolis IN, USA, December 7-12, 2008), 55-62
STARTPAGE=55;ENDPAGE=62;TITLE=Proceedings of the IEEE Fourth International Conference on e-Science (Indianapolis IN, USA, December 7-12, 2008)

Soundness property has been defined as the minimal correctness requirement that every business workflow must meet. The property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without exact domain knowledge. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a159af4703d509baf9bcb8a058ff7ca
https://doi.org/10.1109/escience.2008.85

Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

Autor: J.M. van de Mortel-Fronczak, Bas Luttik, Nikola Trčka, Jacobus E. Rooda, Anton Wijs, Wan Fokkink, Jos C. M. Baeten, E. Bortnik

Publikováno v: Journal of Logic and Algebraic Programming, 65(2), 51-104. Elsevier Inc.
Journal of Logic and Algebraic Programming, 65(2), 51-104. Elsevier
Bortnik, E M, Trcka, N, Wijs, A, Luttik, B, van de Mortel-Fronczak, J M, Baeten, J C M, Fokkink, W J & Rooda, J E 2005, ' Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal ', Journal of Logic and Algebraic Programming, vol. 65, no. 2, pp. 51-104 . https://doi.org/10.1016/j.jlap.2005.05.001

Nowadays, due to increasing system complexity and growing competition and costs, industry makes high demands on powerful techniques used to design and analyze manufacturing systems. One of the most popular techniques to do performance analysis is sim

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7adbe2900c7b6d27375e22c0543020a
https://research.vu.nl/en/publications/f91a7d77-77d6-4de3-b848-b1737ea447f0