APN
2015
Springer
8 years 6 months ago
2015
Springer
Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checke...
APN
2015
Springer
8 years 6 months ago
2015
Springer
This paper presents compact regions to synthesize a Petri net from a partial language. We synthesize a Petri net using the theory of regions. Let there be a partial language, every...
APN
2015
Springer
8 years 6 months ago
2015
Springer
In traditional Chinese medicine, internal organs imply five viscera and six bowels. Five viscera mean liver, heart, spleen, lung and kidney, and six bowels mean gallbladder, small...
APN
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. The functional architecture focuses on decomposing functionality into modules that offer certain features. These features require interactions in order to complete their...
APN
2015
Springer
8 years 6 months ago
2015
Springer
The language-based theory of regions, stemming from the area of Petri net synthesis, forms a fundamental basis for Integer Linear Programming (ILP)-based process discovery. Based o...
APN
2015
Springer
8 years 6 months ago
2015
Springer
Including duplicate tasks in the mining process is a challenge that hinders the process discovery as algorithms need an extra effort to find out which events of the log belong to...
APN
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. How to flexibly manage complex applications over heterogeneous clouds is one of the emerging problems in the cloud era. The OASIS Topology and Orchestration Specificati...
APN
2015
Springer
8 years 6 months ago
2015
Springer
We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) in an ecosystem. We observe that trophic networks can be natural...
APN
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. Specifying the correctness of complex concurrent and realtime systems is a crucial problem. Many property languages have been proposed to do so; however, these techniques...
PATMOS
2015
Springer
8 years 6 months ago
2015
Springer
—Modern embedded systems consist of heterogeneous computing resources with diverse energy and performance trade-offs. This is because the computing resources exercise the applica...