Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Adobbati, Federica"'
Autor:
Adobbati, Federica, Mikulski, Łukasz
Publikováno v:
Petri Nets and Software Engineering 2022, Bergen, Norway, June 20th, {CEUR} Workshop Proceedings 3170, 2022, 139-155
In the modelling and analysis of large, real systems, the main problem in their efficient processing is the size of the global model. One of the popular approaches that address this issue is the decomposition of such global model into much smaller su
Externí odkaz:
http://arxiv.org/abs/2310.19507
We define a game on 1-safe Petri nets, where a user plays against an environment in order to reach a goal on the system. The goal is expressed through an LTL-X formula, and represents a behaviour of the system that the user needs to guarantee. The us
Externí odkaz:
http://arxiv.org/abs/2204.01603
We define a game on distributed Petri nets, where several players interact with each other, and with an environment. The players, or users, have perfect knowledge of the current state, and pursue a common goal. Such goal is expressed by Alternating-t
Externí odkaz:
http://arxiv.org/abs/2107.06866
Autor:
ADOBBATI, FEDERICA
In questa tesi studiamo tecniche formali per l'analisi del flusso di informazioni e per verificare proprietà di controllo in sistemi distribuiti modellati con reti di Petri. Il problema che affrontiamo consiste nel verificare se un agente che osserv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1299::a46bde90e6326b93e5f6751ee035446c
https://hdl.handle.net/10281/414504
https://hdl.handle.net/10281/414504
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
CEUR Workshop ProceedingsVolume 2371http://ceur-ws.org
ATAED 2019-Workshop Algorithms & Theories for the Analysis of Event Data
ATAED 2019-Workshop Algorithms & Theories for the Analysis of Event Data, Wil van der Aalst, Jun 2019, Aachen, Germany. pp.36-53
ATAED 2019-Workshop Algorithms & Theories for the Analysis of Event Data
ATAED 2019-Workshop Algorithms & Theories for the Analysis of Event Data, Wil van der Aalst, Jun 2019, Aachen, Germany. pp.36-53
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a17073fdf9a79a467adda57532e50f30
https://hal.inria.fr/hal-02337628/file/ataed19_HAL.pdf
https://hal.inria.fr/hal-02337628/file/ataed19_HAL.pdf