Merging alignments for decomposed replay

Autor: Verbeek, H.M.W., van der Aalst, W.M.P., Kordon, F., Moldt, D.

Publikováno v: Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings, 219-239
STARTPAGE=219;ENDPAGE=239;TITLE=Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency ISBN: 9783319390857
Petri Nets

In the area of process mining, conformance checking aims to find an optimal alignment between an event log (which captures the activities that actually have happened) and a Petri net (which describes expected or normative behavior). Optimal alignment

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a116c3fd0221ba7718d441f1dcf8dcd0
http://www.win.tue.nl/~hverbeek/wp-content/papercite-data/pdf/verbeek16.pdf

Organisation Modelling for the Dynamics of Complex Biological Processes

Autor: Bosse, T., Jonker, C.M., Treur, J., Lindemann, G., Moldt, D., Paolucci, M.

Publikováno v: Bosse, T, Jonker, C M & Treur, J 2004, ' Organisation Modelling for the Dynamics of Complex Biological Processes ', Lecture Notes in Computer Science, vol. 2934, pp. 92-112 .
Lecture Notes in Computer Science, 2934, 92-112. Springer Verlag
Lindemann, G.; Moldt, D.; Paolucci, M. (ed.), Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, 92-112. Berlin ; New York : Springer
STARTPAGE=92;ENDPAGE=112;TITLE=Lindemann, G.; Moldt, D.; Paolucci, M. (ed.), Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002
Vrije Universiteit Amsterdam
Lindemann, G.; Moldt, D.; Paolucci, M. (ed.), Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, pp. 92-112

Contains fulltext : 63901.pdf (Publisher’s version ) (Closed access) This paper shows how an organisation modelling approach can be used to model the dynamics of biological organisation, in particular the circulatory system in biological organisms

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::23344bae60981a39dd655bd135ece655
https://research.vu.nl/en/publications/fd6f4d19-22a5-48f7-8e00-40a94c5f67d1

A framework for efficiently deciding language inclusion for sound unlabelled WF-nets

Autor: Schunselaar, D.M.M., Verbeek, H.M.W., Aalst, van der, W.M.P., Reijers, H.A., Moldt, D., Rölke, H.

Publikováno v: International Workshop on Petri Nets and Software Engineering (PNSE'13, Milano, Italy, June 24-25, 2013), 135-154
STARTPAGE=135;ENDPAGE=154;TITLE=International Workshop on Petri Nets and Software Engineering (PNSE'13, Milano, Italy, June 24-25, 2013)

We present a framework to efficiently check language inclusion between two sound unlabelled WF-nets. That is, to efficiently check whether every successfully terminating transition sequence of one sound unlabelled WF-net also is a successfully termin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::a592ed38d1eed0a724d8310ad7f92927
https://research.tue.nl/nl/publications/22001355-fc2a-4227-b6b9-9c94e258b147

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

Schedule-aware workflow management systems

Autor: Mans, R.S., Russell, N.C., Aalst, van der, W.M.P., Moleman, A.J., Bakker, P.J.M., Moldt, D.

Publikováno v: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'09, Paris, France, June 22-23, 2009), 81-96
STARTPAGE=81;ENDPAGE=96;TITLE=Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'09, Paris, France, June 22-23, 2009)

Contemporary workflow management systems offer work items to users through specific work-lists. Users select the work-items they will perform without having a specific schedule in mind. However, in many environments work needs to be scheduled and per

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::5588958f6775f72946ab3be877c37d70
https://research.tue.nl/nl/publications/a508709b-1f86-4a00-9edc-05c223bd3bfe