• 1748 Citations
1974 …2015
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
Petri nets Engineering & Materials Science
Work Flow Mathematics
Industry Engineering & Materials Science
Termination Mathematics
Refinement Mathematics
Robots Engineering & Materials Science
Service oriented architecture (SOA) Engineering & Materials Science
Petri Nets Mathematics

Research Output 1974 2015

3 Citations (Scopus)

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

Hybrid systems
Petri nets
Discrete event simulation
Control systems
Computer simulation

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

Petri nets
Control systems
Discrete event simulation
Semantics
Computer simulation

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
Petri nets
Control systems
Discrete event simulation
Semantics
Computer simulation
19 Citations (Scopus)
3 Downloads (Pure)

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

Robots
Experiments
Testing
10 Citations (Scopus)
11 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

Petri nets
Industry

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