• 1700 Citations
19992019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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. 8595032

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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. 8010712

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 7849948

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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-86

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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. 7549355

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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-12

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-191

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-58

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-677

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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-237

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-66

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-12

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-580

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-1958

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-302

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-12

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademic

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 proceedingConference contributionAcademic

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-499

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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-62

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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-72

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-review

Open Access
File
63 Downloads (Pure)

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 proceedingConference contributionAcademic

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-66

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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-74

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-review

Open Access
File
47 Downloads (Pure)

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-74

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
26 Downloads (Pure)