Last year witnessed a growing interest from the Business Process Management research community in analyzing activities carried out in sensorized environments using techniques originally intended for business processes. However, activities conducted in such scenarios differ significantly from typical processes in terms of repetitiveness and predictability. This raises the issue of assessing the suitability of state-of-the-art modeling formalisms and mining techniques to represent them, especially when humans are involved. In this paper, we present the results of a user study conducted with this specific goal. Specifically, we analyze the opinions of a group of experts regarding different representation formalisms and mining algorithms, drawing conclusions about the usefulness of such models in smart environments.