Zobrazeno 1 - 10
of 65
pro vyhledávání: '"K.M. van Hee"'
Autor:
H. M. W. Verbeek, W.M.P. van der Aalst, Natalia Sidorova, K.M. van Hee, Moe Thandar Wynn, A.H.M. ter Hofstede, Marc Voorhoeve
Publikováno v:
Formal Aspects of Computing, 23(3), 333-363. Springer
Workflow nets , a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property . This property g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94ff0103532def67327cabc6e5cf0de6
https://doi.org/10.1007/s00165-010-0161-4
https://doi.org/10.1007/s00165-010-0161-4
Publikováno v:
Science of Computer Programming, 42(2-3), 129-171. Elsevier
Software architectures shift the focus of developers from lines-of-code to coarser-grained components and their interconnection structure. Unlike fine-grained objects, these components typically encompass business functionality and need to be aware o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5c54686e7a884d340cff547a63d7a38
https://doi.org/10.1016/S0167-6423(01)00005-3
https://doi.org/10.1016/S0167-6423(01)00005-3
Publikováno v:
Gerontechnology. 11
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0c57dee24c1d018165b97b0f1cc0070
https://doi.org/10.4017/gt.2012.11.02.194.693
https://doi.org/10.4017/gt.2012.11.02.194.693
Publikováno v:
Computer, 43(3), 90-93. IEEE Computer Society
Auditors validate information about organizations and their business processes. Reliable information is needed to determine whether these processes are executed within certain boundaries set by managers, governments, and other stakeholders. Violation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::538cbddddd9b0c99aad624192fd90733
https://research.tue.nl/nl/publications/68ccc86c-b528-45a6-9248-acf0bd09d8d1
https://research.tue.nl/nl/publications/68ccc86c-b528-45a6-9248-acf0bd09d8d1
Publikováno v:
Decision Support Systems, 7(3), 241-251. Elsevier
We describe a formal framework for modeling and prototyping complex systems. Our framework consists of a meta-model for discrete event systems, a language based upon this meta-model and a software environment for editing and validating system descrip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c33dad0c9c6a6299a048c9791fac00d
https://research.tue.nl/en/publications/4bed7f54-7f1a-48c1-8af5-7c159dc86d63
https://research.tue.nl/en/publications/4bed7f54-7f1a-48c1-8af5-7c159dc86d63
Autor:
Rüdiger Valk, K.M. van Hee
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540687450
Applications and Theory of Petri Nets
Applications and Theory of Petri Nets
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c97797794fe29fe07cc00eaa797d5fdc
https://doi.org/10.1007/978-3-540-68746-7
https://doi.org/10.1007/978-3-540-68746-7
Autor:
W.M.P. van der Aalst, K.M. van Hee
Publikováno v:
Computers in Industry, 29(1-2), 15-26. Elsevier
Reengineering business processes seems to be a necessity in order to survive and prosper in today's competitive world. To support business process reengineering (BPR) efforts, we propose a framework based on high-level Petri nets. This framework is u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a118cd4434ea18a3c9e0521820a0c189
https://research.tue.nl/nl/publications/04879c60-3bf3-4426-8400-5e89b6c7d1f5
https://research.tue.nl/nl/publications/04879c60-3bf3-4426-8400-5e89b6c7d1f5
Publikováno v:
Proceedings of 6th International Workshop on Computer-Aided Software Engineering ; CASE'93 19-23 July 1993, Signapore, 174-177
STARTPAGE=174;ENDPAGE=177;TITLE=Proceedings of 6th International Workshop on Computer-Aided Software Engineering ; CASE'93 19-23 July 1993, Signapore
STARTPAGE=174;ENDPAGE=177;TITLE=Proceedings of 6th International Workshop on Computer-Aided Software Engineering ; CASE'93 19-23 July 1993, Signapore
ExSpect (Executable Specification Tool) has been developed for the prototyping of software systems with their environment. It is based on high-level Petri nets with hierarchy, which makes it akin to flow diagram techniques. The bottom level uses a ty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6692eb9fcee00066d60ed42e0a9bab42
https://doi.org/10.1109/case.1993.634818
https://doi.org/10.1109/case.1993.634818
Publikováno v:
Workshops in Computing ISBN: 9783540197324
Specifications of Database Systems
Specifications of Database Systems
Semantic database models have become a popular tool for designing database schemes, despite the lack of an exact and efficient way to transform these schemes into (relational) database schemes for which efficient implementations exist and are widely
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f10f320bcdf188a34b46b88b7e9dac94
https://doi.org/10.1007/978-1-4471-3864-8_1
https://doi.org/10.1007/978-1-4471-3864-8_1
Autor:
K.M. van Hee, Wim Nuijten
Publikováno v:
Methodology, Implementation and Applications of Decision Support Systems ISBN: 9783211822975
Many decision problems can be considered as searching for an element in a finite set. Classical approaches lead to sophisticated combinatorial optimization algorithms that exploit a lot of the structure of the decision situation. Often these algorith
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41b87ce920dbc3d496223ba71d09ac28
https://doi.org/10.1007/978-3-7091-2606-6_3
https://doi.org/10.1007/978-3-7091-2606-6_3