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...
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...
Abstract. The functional architecture focuses on decomposing functionality into modules that offer certain features. These features require interactions in order to complete their...
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...
Sebastiaan J. van Zelst, Boudewijn F. van Dongen, ...
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...
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...
Antonio Brogi, Andrea Canciani, Jacopo Soldani, Pe...
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...
Paolo Baldan, Martina Bocci, Daniele Brigolin, Nic...
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...
This work introduces CAmIE, an agent-based model for the bottom-up development of large-scale AmI environments. It offers tools to easily develop AmI applications and, while not v...
Marius Tudor Benea, Amal El Fallah-Seghrouchni, Ad...
The workshop Affective Interaction with Avatars was held at the 2015 Ambient Intelligence conference, in Athens, Greece, during November 11th . The workshop focused on the affectiv...