Sciweavers

APN
2015
Springer
8 years 7 months ago
Compact Regions for Place/Transition Nets
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...
Robin Bergenthum
APN
2015
Springer
8 years 7 months ago
On Modeling internal organs and meridian system based on traditional Chinese medicine
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...
Qi-Wei Ge, Ren Wu, Mitsuru Nakata
APN
2015
Springer
8 years 7 months ago
Discovery of Functional Architectures From Event Logs
Abstract. The functional architecture focuses on decomposing functionality into modules that offer certain features. These features require interactions in order to complete their...
Jan Martijn van der Werf, Erwin Kaats
APN
2015
Springer
8 years 7 months ago
ILP-Based Process Discovery Using Hybrid Regions
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, ...
APN
2015
Springer
8 years 7 months ago
Mining Duplicate Tasks from Discovered Processes
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...
Borja Vázquez-Barreiros, Manuel Mucientes, ...
APN
2015
Springer
8 years 7 months ago
Modelling the Behaviour of Management Operations in Cloud-based Applications
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...
APN
2015
Springer
8 years 7 months ago
Petri nets for modelling and analysing trophic networks
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...
APN
2015
Springer
8 years 7 months ago
Unifying Patterns for Modelling Timed Relationships in Systems and Properties
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...
Étienne André, Laure Petrucci
AMI
2015
Springer
8 years 7 months ago
CAmIE: An Agent-Based Model for the Development of Large-Scale AmI Environments
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...
AMI
2015
Springer
8 years 7 months ago
Summary of the Workshop Affective Interaction with Avatars @ Ambient Intelligence 2015
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...
Andreas Braun, Carsten Stocklöw, Sten Hanke, ...