Research Output per year
Research Output
2019
Data-driven usability test scenario creation
van Eck, M. L., Markslag, E., Sidorova, N., Brosens-Kessels, A. & van der Aalst, W. M. P., 1 Jan 2019, Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Revised Selected Papers. Lárusdóttir, M. K., Winckler, M., Kuusinen, K., Palanque, P. & Bogdan, C. (eds.). Cham: Springer, p. 88-108 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
3
Downloads
(Pure)
Multi-instance mining: discovering synchronisation in artifact-centric processes
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 1 Jan 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Cham: Springer, p. 18-30 13 p. (Lecture Notes in Business Information Processing; vol. 342).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
1
Downloads
(Pure)
2018
Event abstraction for process mining using supervised learning techniques
Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2018, Proceedings of the SAI Intelligent Systems Conference (IntelliSys 2016), 21-22 September 2016, London, United Kingdom. Bi, Y., Kapoor, S. & Bhatia, R. (eds.). Berlin: Springer, p. 251-269 19 p. (Lecture Notes in Networks and Systems; vol. 15).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
11
Citations
(Scopus)
5
Downloads
(Pure)
Local process model discovery: bringing petri nets to the pattern mining world
Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 1 Jan 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khohamenko, V. & Roux, O. H. (eds.). Dordrecht: Springer, p. 374-384 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10877 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5
Citations
(Scopus)
1
Downloads
(Pure)
Mining local process models with constraints efficiently: applications to the analysis of smart home data
Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 27 Dec 2018, Proceedings - 2018 International Conference on Intelligent Environments, IE 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 56-63 8 p. 8595032Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
2
Citations
(Scopus)
2017
Composite state machine miner: discovering and exploring multi-perspective processes
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 31 Jan 2017, Proceedings of the BPM Demo Track 2016. Azevedo, L. & Cabanillas, C. (eds.). CEUR-WS.org, p. 73-77 5 p. (CEUR Workshop Proceedings; vol. 1789).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
76
Downloads
(Pure)
Guided interaction exploration in artifact-centric process models
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 14 Aug 2017, 2017 IEEE 19th Conference on Business Informatics (CBI), Business Informatics (CBI), 24-27 July 2017, Thessaloniki, Greece. Institute of Electrical and Electronics Engineers, p. 109-118 10 p. 8010712Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
7
Citations
(Scopus)
61
Downloads
(Pure)
Heuristic approaches for generating local process models through log projections
Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 9 Feb 2017, Proceedings of IEEE Symposium on Computational Intelligence and Data Mining, December 6-9, 2016, Athens, Greece. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-8 7849948Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
11
Citations
(Scopus)
64
Downloads
(Pure)
Local process models: pattern mining with process models
Tax, N., Sidorova, N. & van der Aalst, W. M. P., 10 Jun 2017, Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning (BENELEARN). Duivesteijn, W., Pechenizkiy, M., Fletcher, G., Menkovski, V., Postma, E., Vanschoren, J. & van der Putten, P. (eds.). p. 83-86Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
148
Downloads
(Pure)
2016
Discovering and Exploring State-based Models for Multi-perspective Processes
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 2016, Business Process Management : 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18–22, 2016. Proceedings. La Rosa, M., Loos, P. & Pastor, O. (eds.). Dordrecht: Springer, p. 142-157 16 p. (Lecture notes in computer science; vol. 9850).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
15
Citations
(Scopus)
5
Downloads
(Pure)
Enabling Process Mining on Sensor Data from Smart Products
Van Eck, M. L., Sidorova, N. & Van Der Aalst, W. M. P., 23 Aug 2016, IEEE RCIS 2016 - IEEE 10th International Conference on Research Challenges in Information Science, 1-3 may 2016, Grenoble, France. Brussels: IEEE Computer Society, p. 1-12 12 p. 7549355Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
10
Citations
(Scopus)
248
Downloads
(Pure)
On generation of time-based label refinements
Tax, N., Alasgarov, E. E., Sidorova, N. & Haakma, R., 2016, Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 28-30 September 2016, Rostock, Germany. p. 1-12Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
6
Citations
(Scopus)
28
Downloads
(Pure)
2015
KPI-based activity planning for people working in flexible processes
Eck, van, M. L., Sidorova, N. & Aalst, van der, W. M. P., 2015, Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (Stockholm, Sweden, June 10, 2015). Grabis, J. & Sandkuhl, K. (eds.). Aachen: CEUR-WS.org, p. 97-104 (CEUR Workshop Proceedings; vol. 1367).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
88
Downloads
(Pure)
2013
Configurable declare : designing customisable flexible models
Schunselaar, D. M. M., Maggi, F. M., Sidorova, N. & Aalst, van der, W. M. P., 2013, On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I). Meersman, R. (ed.). Berlin: Springer, p. 20-37 (Lecture Notes in Computer Science; vol. 7565).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
11
Citations
(Scopus)
1
Downloads
(Pure)
Enabling self-reflection with LifelogExplorer : generating simple views from complex data
Kocielnik, R. D., Maggi, F. M. & Sidorova, N., 2013, 7th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2013, Venice, Italy, May 5-8, 2013). Institute of Electrical and Electronics Engineers, p. 184-191Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
7
Citations
(Scopus)
1
Downloads
(Pure)
Interval soundness of resource-constrained workflow nets : decidability and repair
Ramezani Taghiabadi, E., Sidorova, N. & Stahl, C., 2013, Fundamentals of Software Engineering (5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 150-167 (Lecture Notes in Computer Science; vol. 8161).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Smart technologies for long-term stress monitoring at work
Kocielnik, R. D., Sidorova, N., Maggi, F. M., Ouwerkerk, M. & Westerink, J. H. D. M., 2013, Proceedings of the 26th IEEE Conference on Computer-Based Medical Systems (CBMS'13, Porto, Portugal, June 20-22, 2013). IEEE Computer Society, p. 53-58Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
65
Citations
(Scopus)
4
Downloads
(Pure)
The right timing : reflections on the modeling and analysis of time
Hee, van, K. M. & Sidorova, N., 2013, Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings). Colom, J. M. & Desel, J. (eds.). Berlin: Springer, p. 1-20 (Lecture Notes in Computer Science; vol. 7927).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
6
Citations
(Scopus)
2
Downloads
(Pure)
2012
Patterns for a log-based strengthening of declarative compliance models
Schunselaar, D. M. M., Maggi, F. M. & Sidorova, N., 2012, Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings). Derrick, J., Gnesi, S., Latella, D. & Treharne, H. (eds.). Berlin: Springer, p. 327-342 (Lecture Notes in Computer Science; vol. 7321).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
10
Citations
(Scopus)
Stress@Work: from measuring stress to its understanding, prediction and handling with personalized coaching
Bakker, J., Holenderski, L., Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, IHI'12 - Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (Miami FL, USA, January 28-30, 2012). New York NY: Association for Computing Machinery, Inc, p. 673-677Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
37
Citations
(Scopus)
Stress analytics in education
Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, Proceedings of the 5th International Conference on Educational Data Mining, EDM 2012 2012. Yacef, K., Zaïane, O. R., Hershkovitz, A., Yudelson, M. & Stamper, J. C. (eds.). p. 236-237Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
4
Citations
(Scopus)
2
Downloads
(Pure)
When can we trust a third party? : a soundness perspective
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2012, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012). Cabac, L., Duvigneau, M. & Moldt, D. (eds.). CEUR-WS.org, p. 47-59 (CEUR Workshop Proceedings; vol. 851).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Downloads
(Pure)
2011
Cost-based fitness in conformance checking
Adriansyah, A., Sidorova, N. & Dongen, van, B. F., 2011, Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011). Los Alamitos: IEEE Computer Society, p. 57-66Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
41
Citations
(Scopus)
147
Downloads
(Pure)
Discovering characteristics of stochastic collections of process models
Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, Business Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings). Rinderle-Ma, S., Toumani, F. & Wolf, K. (eds.). Berlin: Springer, p. 298-312 (Lecture Notes in Computer Science; vol. 6896).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
4
Citations
(Scopus)
4
Downloads
(Pure)
Distributed genetic process mining using sampling
Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2011, Parallel Computing Technologies (11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings). Malyshkin, V. (ed.). Berlin: Springer, p. 224-237 (Lecture Notes in Computer Science; vol. 6873).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
Is my event log complete? - A probabilistic approach to process mining
Hee, van, K. M., Liu, Z. & Sidorova, N., 2011, Proceedings of the 5th IEEE International Conference on Research Challenges in Information Sciences (RCIS 2011, Gosier, Guadeloupe, May 19-21, 2011). Institute of Electrical and Electronics Engineers, p. 1-12Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
14
Citations
(Scopus)
93
Downloads
(Pure)
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings). Kristensen, L. M. & Petrucci, L. (eds.). Berlin: Springer, p. 149-168 (Lecture Notes in Computer Science; vol. 6709).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5
Citations
(Scopus)
1
Downloads
(Pure)
Soundness-preserving refinements of service compositions
Hee, van, K. M., Mooij, A. J., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers). Bravetti, M. & Bultan, T. (eds.). Berlin: Springer, p. 131-145 (Lecture Notes in Computer Science; vol. 6551).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
9
Citations
(Scopus)
46
Downloads
(Pure)
What's your current stress level? Detection of stress patterns from GSR sensor data
Bakker, J., Pechenizkiy, M. & Sidorova, N., 2011, Proceedings 11th IEEE International Conference on Data Mining (ICDM'11, Vancouver BC, Canada, December 11-14, 2011). Institute of Electrical and Electronics Engineers, p. 573-580Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
115
Citations
(Scopus)
2
Downloads
(Pure)
2010
Construction of asynchronous communicating systems: weak termination guaranteed!
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2010, Software Composition (9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings). Baudry, B. & Wohlstadter, E. (eds.). Berlin: Springer, p. 106-121 (Lecture Notes in Computer Science; vol. 6144).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
7
Citations
(Scopus)
1
Downloads
(Pure)
Distributed genetic process mining
Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2010, Proceedings 2010 IEEE World Congress on Computational Intelligence (IEEE CEC 2010, Barcelona, Spain, July 18-23, 2010). Institute of Electrical and Electronics Engineers, p. 1951-1958Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
16
Citations
(Scopus)
Workflow soundness revisited : checking correctness in the presence of data while staying conceptual
Sidorova, N., Stahl, C. & Trcka, N., 2010, Advanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings). Pernici, B. (ed.). Berlin: Springer, p. 530-544 (Lecture Notes in Computer Science; vol. 6051).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
20
Citations
(Scopus)
2009
Petri nets with may/must semantics: Preserving properties through data refinements
Kouchnarenko, O., Sidorova, N. & Trcka, N., 2009, Proceedings 18th Workshop on Concurrency and Specification (CS&P'09, Kraków-Przegorzaly, Poland, September 28-30, 2009). Czaja, L. (ed.). Warsaw: Institute of Informatics, Warsaw University, p. 291-302Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
44
Downloads
(Pure)
Predicting service request rates for adaptive resource allocation in SOA
Serebrenik, A. & Sidorova, N., 2009, Proceedings 5th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2009, Amsterdam, The Netherlands, June 8-9, 2009; in conjunction with CAiSE 2009). Barjis, J., Kinghorn, J., Ramaswamy, S., Dubois, E. & Johannesson, P. (eds.). p. 4-1/14 (CEUR Workshop Proceedings; vol. 458).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
2
Downloads
(Pure)
Workflow completion patterns
Trcka, N., Aalst, van der, W. M. P. & Sidorova, N., 2009, Proceedings 5th Annual IEEE Conference on Automation Science and Engineering (CASE 2009, Bangalore, India, August 22-25, 2009). Institute of Electrical and Electronics Engineers, p. 7-12Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Open Access
File
4
Citations
(Scopus)
68
Downloads
(Pure)
2008
Adaptive workflows for healthcare information systems
Hee, van, K. M., Schonenberg, H., Serebrenik, A., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Business Process Management Workshops (BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers). Hofstede, ter, A. H. M., Benatallah, B. & Paik, H. Y. (eds.). Berlin: Springer, p. 359-370 (Lecture Notes in Computer Science; vol. 4928).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
10
Citations
(Scopus)
1
Downloads
(Pure)
A reference model for grid architectures and its analysis
Bratosin, C. C., Aalst, van der, W. M. P., Sidorova, N. & Trcka, N., 2008, On the Move to Meaningful Internet Systems 2008: OTM 2008 Confederated International Conferences (Monterrey, Mexico, November 9-14, 2008), Part I. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 898-913 (Lecture Notes in Computer Science; vol. 5331).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
8
Citations
(Scopus)
2
Downloads
(Pure)
Evaluating a data removal strategy for grid environments using colored Petri nets
Trcka, N., Aalst, van der, W. M. P., Bratosin, C. C. & Sidorova, N., 2008, Principles of Distributed Systems (12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008, Proceedings). Baker, T. P., Bui, A. & Tixeuil, S. (eds.). Berlin: Springer, p. 538-541 (Lecture Notes in Computer Science; vol. 5401).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
1
Citation
(Scopus)
Generation of database transactions with Petri nets
Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2008, Proceedings of Concurrency, Specification and Programming (CS&P 2008, Groß Väter See bei Berlin, Germany, September 29-October 1, 2008). Burkhard, H. D., Lindemann, G. & Schlingloff, H. (eds.). p. 488-499Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
134
Downloads
(Pure)
Soundness and niceness as correctness criteria for grid workflows
Trcka, N., Aalst, van der, W. M. P. & Sidorova, N., 2008, Proceedings of the IEEE Fourth International Conference on e-Science (Indianapolis IN, USA, December 7-12, 2008). IEEE Computer Society, p. 55-62Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Soundness of workflow nets with reset arcs is undecidable!
Aalst, van der, W. M. P., Hee, van, K. M., Hofstede, ter, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M. & Wynn, M. T., 2008, Proceedings of the International Workshop on Concurrency Methods Issues and Applications (CHINA'08). Kleijn, J. & Koutny, M. (eds.). p. 57-72Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Downloads
(Pure)
2007
Adaptive workflow nets for grid computing
Bratosin, C. C., Hee, van, K. M. & Sidorova, N., 2007, Proceedings of the 9th International Conference on Parallel Computing Technologies (PaCT 2007) 3-7 September 2007, Pereslavl-Zalessky, Russia. Malyshkin, V. E. (ed.). Springer, p. 15-21 (Lecture Notes in Computer Science; vol. 4671).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
1
Citation
(Scopus)
64
Downloads
(Pure)
Bug hunting with false negatives
Calamé, J. R., Ioustinova, N., Pol, van de, J. C. & Sidorova, N., 2007, Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom. Davies, J. & Gibbons, J. (eds.). Berlin, Germany: Springer, p. 98-117 (Lecture Notes in Computer Science; vol. 4591).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Constraint-based workflow models : change made easy
Pesic, M., Schonenberg, M. H., Sidorova, N. & Aalst, van der, W. M. P., 2007, Proceedings of the Confederated International Conferences On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, ODBASE, and IS (OTM 2007) 25-30 November 2007, Vilamoura, Portugal. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 77-94 (Lecture Notes in Computer Science; vol. 4803).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Open Access
File
155
Citations
(Scopus)
147
Downloads
(Pure)
Designing case handling systems
Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2007, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland. Moldt, D., Kordon, F., Hee, van, K. M., Colom, J. M. & Bastide, R. (eds.). p. 52-66Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
History-dependent Petri nets
Van Hee, K., Serebrenik, A., Sidorova, N. & Van Aalst, W. D., 1 Dec 2007, Petri Nets and Other Models of Concurrency - ICATPN 2007 - 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Proceedings. Yakovlev, A. (ed.). Berlin: Springer, p. 164-183 20 p. (Lecture Notes in Computer Science; vol. 4546).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
8
Citations
(Scopus)
210
Downloads
(Pure)
Modeling a grid
Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2007, Proceedings of the Concurrency, Specification and Programming Conference (CS&P 2007), 27-29 September 2007, Łagów, Poland. Czaja, L. (ed.). Vol. 1. p. 63-74Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Modeling grid workflows with colored Petri nets
Bratosin, C. C., Aalst, van der, W. M. P. & Sidorova, N., 2007, Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark. Jensen, K. (ed.). Aarhus: Department of Computer Science, p. 67-86 (DAIMI PB; vol. 584).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Modeling with history-dependent Petri nets
Hee, van, K. M., Serebrenik, A., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2007, Proceedings of the 5th International Conference on Business Process Management (BPM 2007) 24-28 September 2007, Brisbane, Australia. Alonso, G., Dadam, P. & Rosemann, M. (eds.). Berlin, Germany: Springer, p. 320-327 (Lecture Notes in Computer Science; vol. 4714).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Modelling a grid
Bratosin, C. C., Sidorova, N. & van der Aalst, W. M. P., 2007, Proceedings of Concurrency, Specification and Programming (CS&P 2007, Łagów, Poland, September 27-29, 2007). Czaja, L. (ed.). Warsaw: Warsaw University, Vol. 1. p. 63-74Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
26
Downloads
(Pure)