• 1765 Citaten
1974 …2015
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Duik in de onderzoeksthema's waar Kees M. van Hee actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 1 Vergelijkbare profielen
Petri nets Engineering en materiaalwetenschappen
Work Flow Rekenkunde
Industry Engineering en materiaalwetenschappen
Termination Rekenkunde
Refinement Rekenkunde
Robots Engineering en materiaalwetenschappen
Service oriented architecture (SOA) Engineering en materiaalwetenschappen
Petri Nets Rekenkunde

Onderzoeksoutput 1974 2015

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). s.l.: s.n., blz. 44-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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 blz. (Computer science reports; vol. 1406)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Petri nets
Control systems
Discrete event simulation
Semantics
Computer simulation
20 Citaties (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, blz. 152-160 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Robots
Experiments
Testing
12 Citaties (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. (redactie). Berlin: Springer, blz. 116-161 (Lecture Notes in Computer Science; vol. 7480).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Petri nets
Industry

Scriptie

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

Auteur: van den Elzen, J., 31 aug 1986

Begeleider: Wessels, J. (Afstudeerdocent 1), van Hee, K. (Afstudeerdocent 2) & Venema, W. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

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

Auteur: Reynaerts, J., 31 aug 1986

Begeleider: van Hee, K. (Afstudeerdocent 1), Wessels, J. (Afstudeerdocent 2) & Venema, W. (Externe persoon) (Afstudeerdocent 2)

Scriptie/masterproef: Master

Adaptive architecture for polis system

Auteur: Bera, D., 31 aug 2008

Begeleider: van Hee, K. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Afleiden en bewijzen van functionele programma's

Auteur: Robinson, R., 31 aug 1986

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

Scriptie/masterproef: Master

A mathematical view on entity-relationship models

Auteur: van der Lee, P., 1 dec 1986

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

Scriptie/masterproef: Master