A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks

Autor: Gaeta, R. ^*, Balbo, G., Bruell, S., Gribaudo, M., Sereno, M.

Publikováno v: In Performance Evaluation 2005 62(1):1-16

Deficit di G6PD: diagnosi fenotipica e genetica. Prevalenza e caratterizzazione molecolare delle varianti genetiche nella popolazione pediatrica siciliana

Autor: DICEMBRE, Valeria, ACCOMANDO, Salvatore, FERRANTE, Giuliana, MOCERI, Giovanni, SCIARRABONE, Giustina Maria, CORSELLO, Giovanni, Lo Balbo, G, Gagliano, F

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3658::786c85148142d66b23c549a04c39c09c
http://hdl.handle.net/10447/152703

Discovering Petri nets from event logs

Autor: Aalst, van der, W.M.P., Dongen, van, B.F., Jensen, K., Balbo, G., Koutny, M., Wolf, K.

Publikováno v: Transactions on Petri Nets and Other Models of Concurrency VII, 372-422
STARTPAGE=372;ENDPAGE=422;TITLE=Transactions on Petri Nets and Other Models of Concurrency VII
Transactions on Petri Nets and Other Models of Concurrency VII ISBN: 9783642381423

As information systems are becoming more and more intertwined with the operational processes they support, multitudes of events are recorded by today’s information systems. The goal of process mining is to use such event data to extract process rel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0499211b1c41edbfe68707af9ecbb85a
https://doi.org/10.1007/978-3-642-38143-0_10

Verification of workflow nets

Autor: Aalst, van der, W.M.P., Azema, P., Balbo, G.

Publikováno v: Application and Theory of Petri Nets 1997 (Proceedings 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997), 407-426
STARTPAGE=407;ENDPAGE=426;TITLE=Application and Theory of Petri Nets 1997 (Proceedings 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997)
Application and Theory of Petri Nets 1997 ISBN: 9783540631392
ICATPN

Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main issues when introducing a workflow management system. In this paper we focus on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f5d60bb5a279b9dc4e7fdc7b6fe82af
https://doi.org/10.1007/3-540-63139-9_48

Strategies for Modeling Complex Processes Using Colored Petri Nets

Autor: Aalst, van der, W.M.P., Stahl, C., Westergaard, M., Jensen, K., Balbo, G., Koutny, M., Wolf, K.

Publikováno v: Transactions on Petri Nets and Other Models of Concurrency VII ISBN: 9783642381423
Transactions on Petri Nets and Other Models of Concurrency VII, 6-55
STARTPAGE=6;ENDPAGE=55;TITLE=Transactions on Petri Nets and Other Models of Concurrency VII

Colored Petri Nets (CPNs) extend the classical Petri net formalism with data, time, and hierarchy. These extensions make it possible to model complex processes as CPNs without being forced to abstract from relevant aspects. Moreover, CPNs are support

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f93187f6372abb70d0cbd73ad22d25b
https://doi.org/10.1007/978-3-642-38143-0_2