Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Olivia Oanea"'
Autor:
Olivia Oanea
Publikováno v:
Information Processing Letters. 111:738-743
Boundedness is a relevant property for adaptive systems: creation, composition and destruction of components at runtime introduce different infiniteness dimensions. In this paper we show the decidability of the boundedness for adaptive nets, a subcla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a9a6f8d6e84061a453976e4a0089ae9
https://doi.org/10.1016/j.ipl.2011.05.004
https://doi.org/10.1016/j.ipl.2011.05.004
Publikováno v:
Data & Knowledge Engineering, 64(1), 24-37. Elsevier
In this paper we study the use of case history for control structures in workflow processes. History-dependent control offers much more modeling power than classical control structures and it solves several semantical problems of industrial modeling
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9db150aba496f380189e4d6add96a07
https://doi.org/10.1016/j.datak.2007.06.005
https://doi.org/10.1016/j.datak.2007.06.005
Publikováno v:
Science of Computer Programming, 65(1), 30-40. Elsevier
Choices in business processes are often based on the process history saved as a log-file listing events and their time stamps. In this paper we introduce LogLogics, a finite-path variant of the Timed Propositional Temporal Logic with Past, which can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b904b65e10f7182da7d1b721d7725fa
Publikováno v:
Applications and Theory of Petri Nets ISBN: 9783642136740
Petri Nets
Petri Nets
The siphon-trap property, also known as Commoner-Hack property, establishes a relation between structural entities within a Petri net – the eponymous siphons and traps. The property is linked to the behavior of a Petri net, for instance to deadlock
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79972d1e3d349ab95047972eca5af2e8
https://doi.org/10.1007/978-3-642-13675-7_16
https://doi.org/10.1007/978-3-642-13675-7_16
