Kees M. van Hee

prof.dr.

  • 1787 Citations
1974 …2015

Research output per year

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

Fingerprint Dive into the research topics where Kees M. van Hee is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Research Output

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, p. 17-42 26 p. (Advances in Intelligent Systems and Computing; vol. 402).

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

  • 3 Citations (Scopus)

    Relationship between Simulink and Petri nets

    Bera, D., Hee, van, K. M. & Nijmeijer, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 1406)

    Research output: Book/ReportReportAcademic

    Open Access
    File
  • 279 Downloads (Pure)

    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. (eds.). s.l.: s.n., p. 44-

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

  • Tele-operated service robots : ROSE

    Osch, van, M. P. W. J., Bera, D., Hee, van, K. M., Koks, Y. & Zeegers, H., 2014, In : Automation in Construction. 39, 1, p. 152-160 9 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  • 22 Citations (Scopus)
    3 Downloads (Pure)

    Business process modeling using Petri nets

    Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 116-161 (Lecture Notes in Computer Science; vol. 7480).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • 12 Citations (Scopus)
    11 Downloads (Pure)

    Student theses

    Aanzet tot de ontwikkeling van een informatiesysteem voor het werken met Markov-modellen

    Author: van den Elzen, J., 31 Aug 1986

    Supervisor: Wessels, J. (Supervisor 1), van Hee, K. (Supervisor 2) & Venema, W. (External person) (Supervisor 2)

    Student thesis: Master

    Aanzet tot het ontwerp van een informatiesysteem voor het werken met Markov-modellen

    Author: Reynaerts, J., 31 Aug 1986

    Supervisor: van Hee, K. (Supervisor 1), Wessels, J. (Supervisor 2) & Venema, W. (External person) (Supervisor 2)

    Student thesis: Master

    Adaptive architecture for polis system

    Author: Bera, D., 31 Aug 2008

    Supervisor: van Hee, K. (Supervisor 1)

    Student thesis: Master

    Afleiden en bewijzen van functionele programma's

    Author: Robinson, R., 31 Aug 1986

    Supervisor: Rem, M. (Supervisor 1), van Hee, K. (Supervisor 2) & Boots, P. (Supervisor 2)

    Student thesis: Master

    A mathematical view on entity-relationship models

    Author: van der Lee, P., 1 Dec 1986

    Supervisor: van Hee, K. (Supervisor 1) & Rem, M. (Supervisor 2)

    Student thesis: Master