Výsledky vyhledávání

Decomposed replay using hiding and reduction

Autor: Verbeek, H.M.W., Cabac, L., Kristensen, L.M., Rölke, H.

Publikováno v: PNSE 2016 : International Workshop on Petri Nets and Software Engineering. 20-21 June 2016, Torun, Poland, 533-552
STARTPAGE=533;ENDPAGE=552;TITLE=PNSE 2016 : International Workshop on Petri Nets and Software Engineering. 20-21 June 2016, Torun, Poland

In the area of process mining, decomposed replay has been proposed to be able to deal with nets and logs containing many different activities. The main assumption behind this decomposition is that replaying many subnets and sublogs containing only so

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e91c9e0419127783ed1881ff55b720b5
https://research.tue.nl/nl/publications/afad65a8-194b-44b9-9839-e2d9577de4a8

Zobrazit plný text záznamu

When can we trust a third party? : a soundness perspective

Autor: Hee, van, K.M., Sidorova, N., Werf, van der, J.M.E.M., Cabac, L., Duvigneau, M., Moldt, D.

Publikováno v: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012), 47-59
STARTPAGE=47;ENDPAGE=59;TITLE=Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012)

Organizations often do not want to reveal the way a product is created or a service is delivered. As a consequence, if two organizations want to cooperate, they contact a trusted third party. Each speci¿es how it wants to communicate with the other

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::8b971560fd5d35091dfbc5f489a01dbc
https://research.tue.nl/nl/publications/c41abdc9-fda8-4bd6-b512-07405b025e2a

Zobrazit plný text záznamu

Grade/CPN : semi-automatic support for teaching Petri nets by checking many Petri nets against one specification

Autor: Westergaard, M., Fahland, D., Stahl, C., Cabac, L., Duvigneau, M., Moldt, D.

Publikováno v: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012), 32-46
STARTPAGE=32;ENDPAGE=46;TITLE=Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012)

Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, con¿gurable, and can check static a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::277d84ae39c9176519a5d8e23d41e21c
https://research.tue.nl/nl/publications/04cede60-9b1f-4da5-aa55-4877e7ee8497

Zobrazit plný text záznamu

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.

Conference

From Agents and Plugins to Plugin-Agents, Concepts for Flexible Architectures.

Autor: Schleinzer, B., Cabac, L., Moldt, D., Duvigenau, M.

Publikováno v: 2008 New Technologies, Mobility & Security; 2008, p1-5, 5p

Zobrazit plný text záznamu

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.

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání