• 1798 Citaties
1974 …2015

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

Filter
Conferentiebijdrage
2015

Modeling hybrid systems with petri nets

Bera, D., van Hee, K. M. & Nijmeijer, H., 2015, Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers. Dordrecht: Springer, blz. 17-42 26 blz. (Advances in Intelligent Systems and Computing; vol. 402).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2014

Relationship between Simulink and Petri nets

Bera, D., van Hee, K. M. & Nijmeijer, H., 2014, Proceedings of SIMULTECH 2014 : Fourth International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 28-30 August, 2014, Vienna, Austria. Obaidat, M. S., Kacprzyk, J. & Tuncer Oren, X. (redactie). s.l.: s.n., blz. 44-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2013

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. (redactie). Berlin: Springer, blz. 1-20 (Lecture Notes in Computer Science; vol. 7927).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
2 Downloads (Pure)
2012

Designing weakly terminating ROS systems

Bera, D., Hee, van, K. M. & Werf, van der, J. M. E. M., 2012, Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings). Berlin: Springer, blz. 328-347 (Lecture Notes in Computer Science; vol. 7347).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
2 Downloads (Pure)

Generating benchmarks by random stepwise refinement of Petri nets

Van Hee, K. M. & Liu, Z., 2012, Recent Advances in Petri Nets and Concurrency (Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June 2010). Donatelli, S., Kleijn, J., Machado, R. J. & Fernandes, J. M. (redactie). CEUR-WS.org, blz. 403-417 15 blz. (CEUR Workshop Proceedings; vol. 827).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
1 Downloads (Pure)

Tele-operated service robots for household and care

Osch, van, M. P. W. J., Bera, D., Koks, Y. & Hee, van, K. M., 2012, Proceedings full papers ISG*ISARC2012 : joint conference of the 8th World Conference of the International Society for Gerontechnology (ISG) and the 29th International Symposium on Automation and Robotics in Construction (ISARC), June 26-29, 2012, Eindhoven, The Netherlands. Bronswijk, van, J. E. M. H., Maas, G. J. & Gassel, van, F. J. M. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 263-269

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
127 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. (redactie). CEUR-WS.org, blz. 47-59 (CEUR Workshop Proceedings; vol. 851).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)
2011

Abstracting common business rules to Petri nets (Extended abstract)

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P. A. P., 2011, Proceedings of the 5th SIKS/BENAIS Conference on Enterprise Information Systems (EIS-2010, Eindhoven, The Netherlands, November 16, 2010). Dongen, van, B. F. & Reijers, H. A. (redactie). Aachen: CEUR-WS.org, blz. 113-114 (CEUR Workshop Proceedings; vol. 662).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 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. (redactie). Berlin: Springer, blz. 298-312 (Lecture Notes in Computer Science; vol. 6896).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
4 Downloads (Pure)

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, blz. 1-12

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
14 Citaten (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. (redactie). Berlin: Springer, blz. 149-168 (Lecture Notes in Computer Science; vol. 6709).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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. (redactie). Berlin: Springer, blz. 131-145 (Lecture Notes in Computer Science; vol. 6551).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
9 Citaten (Scopus)
46 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. (redactie). Berlin: Springer, blz. 106-121 (Lecture Notes in Computer Science; vol. 6144).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
1 Downloads (Pure)
2009

Statistical approach to software reliability certification

Corro Ramos, I., Di Bucchianico, A. & Hee, van, K. M., 2009, Proceedings XXXI Congreso Nacional de Estadística e Investigación Operativa (SEIO 2009, Murcia, Spain, February 10-13, 2009). blz. 18-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 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. (redactie). Berlin: Springer, blz. 359-370 (Lecture Notes in Computer Science; vol. 4928).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)
1 Downloads (Pure)

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. (redactie). blz. 488-499

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
133 Downloads (Pure)

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. (redactie). blz. 57-72

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Springer, blz. 15-21 (Lecture Notes in Computer Science; vol. 4671).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
64 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. (redactie). blz. 52-66

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Frameworks for software architecture

Hee, van, K. 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. (redactie). blz. 3-6

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 164-183 20 blz. (Lecture Notes in Computer Science; vol. 4546).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
8 Citaten (Scopus)
206 Downloads (Pure)

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. (redactie). Berlin, Germany: Springer, blz. 320-327 (Lecture Notes in Computer Science; vol. 4714).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
44 Downloads (Pure)

Token history Petri nets

Hee, van, K. M., Serebrenik, A. & Sidorova, N., 2007, Proceedings Concurrency Specification and Programming (CS&P'07, Łagów, Poland, September 27-29, 2007). Czaja, L. (redactie). Warsaw: Warsaw University, Vol. 1.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Verifying generalized soundness for workflow nets

Hee, van, K. M., Oanea, O. I., Sidorova, N. & Voorhoeve, M., 2007, Proceedings of the 6th International Andrei Ershov Memorial Conference : Perspectives of Systems Informatics (PSI 2006) 27-30 June 2006, Novosibirsk, Russia. Virbitskaite, I. & Voronkov, A. (redactie). Springer, blz. 235-247 (Lecture Notes in Computer Science; vol. 4378).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)
2006

Checking properties of adaptive workflow nets

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2006, Proceedings Concurrency Specification and Programming (CS&P'2006, Wandlitz, Germany, September 27-29, 2006). blz. 92-103

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

History-based joins : semantics, soundness and implementation

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2006, Business Process Management (Proceedings 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006). Dustdar, S., Fiadeiro, J. L. & Sheth, A. (redactie). Berlin: Springer, blz. 225-240 (Lecture Notes in Computer Science; vol. 4102).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

Modeling history-dependent business processes

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2006, Modelling, Simulation, Verification and Validation of Enterprise Information Systems (Proceedings 4th International Workshop, MSVVEIS'06, Paphos, Cyprus, May 23-24, 2006). Barjis, J., Ultes-Nitsche, U. & Augusto, J. C. (redactie). Setúbal, Portugal: INSTICC Press, blz. 76-85

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Nested nets for adaptive systems

Hee, van, K. M., Lomazova, I. A., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2006, Petri Nets and other Models of Concurrency - ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006). Donatelli, S. & Thiagarajan, P. S. (redactie). Berlin: Springer, blz. 241-260 (Lecture Notes in Computer Science; vol. 4024).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

42 Citaten (Scopus)
1 Downloads (Pure)

Petriweb : a repository for Petri nets

Goud, R., Hee, van, K. M., Post, R. D. J. & Werf, van der, J. M. E. M., 2006, Petri Nets and other Models of Concurrency - ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006). Donatelli, S. & Thiagarajan, P. S. (redactie). Berlin: Springer, blz. 411-420 (Lecture Notes in Computer Science; vol. 4024).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
9 Downloads (Pure)

Yasper : a tool for workflow modeling and analysis

Hee, van, K. M., Oanea, O. I., Post, R. D. J., Somers, L. J. A. M. & Werf, van der, J. M. E. M., 2006, Application of Concurrency to System Design (Proceedings 6th International Conference, ACSD 2006, Turku, Finland, June 28-30, 2006). Brussels: Institute of Electrical and Electronics Engineers, blz. 279-282

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

26 Citaten (Scopus)
2 Downloads (Pure)
2005

Colored Petri nets to verify extended event-driven process chains

Hee, van, K. M., Oanea, O. I. & Sidorova, N., 2005, On the move to meaningful internet systems 2005 : CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I. Meersman, R. & Tari, Z. (redactie). Berlin: Springer, blz. 183-201 19 blz. (Lecture Notes in Computer Science; vol. 3760).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (Scopus)

Non-destructive integration of form-based views

Hidders, A. J. H., Paredaens, J., Thiran, P., Houben, G. J. P. M. & Hee, van, K. M., 2005, Advances in Databases and Information Systems : 9th East-European Conference, ADBIS'2005, Tallinn, Estonia, September 12-15, 2005. Proceedings. Eder, J., Haav, H. M., Kalja, A. & Penjam, J. (redactie). Berlin: Springer, blz. 74-86 13 blz. (Lecture Notes in Computer Science (LNCS); vol. 3631).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Soundness of resource-constrained workflow nets

Hee, van, K. M., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2005, Applications and Theory of Petri Nets (Proceedings 26th International Concerence, ICATPN 2005, Miami FL, USA, June 20-25, 2005). Ciardo, G. & Darondeau, P. (redactie). Berlin: Springer, blz. 250-267 (Lecture Notes in Computer Science; vol. 3536).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

41 Citaten (Scopus)

The price of coordination in resource management

Hee, van, K. M., Serebrenik, A., Sidorova, N., Voorhoeve, M. & Wal, van der, J., 2005, Business Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005 : proceedings. Aalst, van der, W. M. P., Benatallah, B., Casati, F. & Curbera, F. (redactie). Berlin: Springer, blz. 96-108 (Lecture Notes in Computer Science; vol. 3649).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Yet another smart process editor

Hee, van, K. M., Post, R. D. J. & Somers, L. J. A. M., 2005, Proceedings of the 2005 European Simulation and Modelling Conference (ESM2005, Porto, Portugal, October 24-26, 2005). Feliz-Teixeira, J. M. & Carvalho Brito, A. E. (redactie). Ostend, Belguim: Eurosis-ETI, blz. 527-530

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
2004

Consistency in model integration

Hee, van, K. M., Sidorova, N., Somers, L. J. A. M. & Voorhoeve, M., 2004, Business Process Management (Proceedings BPM 2004, Potsdam, Germany, June 17-18, 2004). Desel, J., Pernici, B. & Weske, M. (redactie). Berlin: Springer, blz. 1-16 (Lecture Notes in Computer Science; vol. 3080).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
4 Downloads (Pure)

Generalised soundness of workflow nets is decidable

Hee, van, K. M., Sidorova, N. & Voorhoeve, M., 2004, Applications and Theory of Petri Nets 2004 (Proceedings 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-26, 2004). Cortadella, J. & Reisig, W. (redactie). Berlin: Springer, blz. 197-215 (Lecture Notes in Computer Science; vol. 3099).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

57 Citaten (Scopus)
1 Downloads (Pure)

Process model repositories and PNML

Hee, van, K. M., Post, R. D. J., Somers, L. J. A. M. & Werf, van der, J. M. E. M., 2004, Definition, Implementation and Application of a Standard Interchange Format for Petri Nets (Proceedings of the workshop, Satellite event of ATPN 2004, Bologna, Italy, June 26, 2004). Kindler, E. (redactie). Paderborn, Germany: University of Paderborn, blz. 56-70

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)

Resource-constrained workflow nets

Hee, van, K. M., Sidorova, N. & Voorhoeve, M., 2004, Proceedings of Concurrency Specification and Programming (CS&P'2004, Caputh, Germany, September 24-26, 2004), Informatik-Bericht Nr.170. Lindemann, G. (redactie). Berlin, Germany: Humboldt-Universität zu Berlin, blz. 166-177

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2004, Proceedings CONQUEST 2004 (Nuremberg, Germany, September 22-24, 2004). Erlangen, Germany: ASQF, blz. 161-171

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2003

Soundness and separability of workflow nets in the stepwise refinement approach

Hee, van, K. M., Sidorova, N. & Voorhoeve, M., 2003, Applications and Theory of Petri Nets 2003 (Proceedings ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003). Aalst, van der, W. M. P. & Best, E. (redactie). Berlin: Springer, blz. 337-356 (Lecture Notes in Computer Science; vol. 2679).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

82 Citaten (Scopus)
129 Downloads (Pure)

The Petri Net Markup Language : concepts, technology, and tools

Billington, J., Christensen, S., Hee, van, K. M., Kindler, E., Kummer, O., Petrucci, L., Post, R. D. J., Stehno, C. & Weber, M., 2003, Applications and Theory of Petri Nets 2003 (Proceedings ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003). Aalst, van der, W. M. P. & Best, E. (redactie). Berlin: Springer, blz. 483-505 (Lecture Notes in Computer Science; vol. 2679).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

205 Citaten (Scopus)
3 Downloads (Pure)

Use cases as workflows

Chaudron, M. R. V., Hee, van, K. M. & Somers, L. J. A. M., 2003, Business Process Management (Proceedings BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003). Aalst, van der, W. M. P., Hofstede, ter, A. & Weske, M. (redactie). Berlin: Springer, blz. 88-103 (Lecture Notes in Computer Science; vol. 2678).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
2 Downloads (Pure)
2002

A new reduction method for the analysis of large workflow models

Hee, van, K. M. & Zerguini, L., 2002, Proceedings PROMISE 2002 (Potsdam, Germany, October 9-11, 2002), GI-Edition. Desel, J. & Weske, M. (redactie). Bonn: Bonner Köllen Verlag, blz. 188-201 (Lecture Notes in Informatics; vol. P-21).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2001

On the optimal allocation of resources in stochastic workflow nets

Hee, van, K. M., Reijers, H. A., Verbeek, H. M. W. & Zerguini, L., 2001, Proceedings of the Seventeenth UK Performance Engineering Workshop, July 18-19, 2001, Leeds, UK. Djemame, K. & Kara, M. (redactie). Leeds, UK: Print Services University of Leeds, blz. 23-34

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2000

ExSpect 6.4 : an executable specification tool for hierarchical colored Petri Nets

Aalst, van der, W. M. P., de Crom, P. J. N., Goverde, R. R. H. M. J., Hee, van, K. M., Hofman, W. J., Reijers, H. A. & Toorn, van der, R. A., 2000, Application and Theory of Petri Nets 2000 (Proceedings 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000). Nielsen, M. & Simpson, D. (redactie). Berlin: Springer, blz. 455-464 (Lecture Notes in Computer Science; vol. 1825).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

22 Citaten (Scopus)
7 Downloads (Pure)
1999

An analytical method for computing throughput times in stochastic workflow nets

Hee, van, K. M. & Reijers, H. A., 1999, Simulation in industry '99 (Proceedings 11th European Simulation Symposium 1999, ESS '99, Erlangen, Germany, October 26-28, 1999). Horton, G., Möller, D. & Rüde, U. (redactie). Ghent: SCS, blz. 635-643

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)
1995

Framework for business process redesign

Aalst, van der, W. M. P. & Hee, van, K. M., 1995, Proceedings of the fourth workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'95, Berkeley Springs WV, USA, April 20-22, 1995). Callahan, J. R. (redactie). IEEE Computer Society, blz. 36-45

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

17 Citaten (Scopus)
1994

Integrated systems modelling : an object oriented approach

Aalst, van der, W. M. P. & Hee, van, K. M., 1994, Proceedings of the Workshop on Formal Methods for Information System Dynamics, Memorandum 94-33. Dubois, E., Hartel, P. & Saake, G. (redactie). Enschede: Universiteit Twente, blz. 1-12

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Modeling workflow management systems with high-level Petri nets

Aalst, van der, W. M. P., Hee, van, K. M. & Houben, G. J. P. M., 1994, Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri Nets and related formalisms. Michelis, de, G., Ellis, C. & Memmi, G. (redactie). blz. 31-50

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review