Process-aware information systems (PAISs) can be configured using a reference process model, which is typically obtained via expert interviews. Over time, however, contextual factors and system requirements may cause the operational process to start deviating from this reference model. While a reference model should ideally be updated to remain aligned with such changes, this is a costly and of...

Aldous (2007) defined a gossip process in which space is a discrete N ×N torus, and the state of the process at time t is the set of individuals who know the information. Information spreads from a site to its nearest neighbors at rate 1/4 each and at rate N−α to a site chosen at random from the torus. We will be interested in the case in which α < 3, where the long range transmission significa...

In what case do you like reading so much? What about the type of the behavior modification and the nursing process book? The needs to read? Well, everybody has their own reason why should read some books. Mostly, it will relate to their necessity to get knowledge from the book and want to read just to get entertainment. Novels, story book, and other entertaining books become so popular this day...

The task of predicting retweet behavior is an important and essential step for various social network applications, such as business intelligence, popular event prediction, and so on. Due to the increasing requirements, in recent years, the task has attracted extensive attentions. In this work, we propose a novel method using non-parametric statistical models to combine structural, textual, and...

In this paper we review attempts to develop CPM of individual travel behavior. CPM represent a linked set of computer programs together with appropriate databases which are designed to capture the essence of human decision making in different spatial situations. Used primarily for wayfmding and to simulate and predict travel behavior, CPMs bypass the difficult problems of IIA typically attribut...

Diagnosis of process executions is an important task in many application domains, especially in the area of workflow management systems and orchestrated Web Services. If executions fail because activities of the process do not behave as intended, recovery procedures re-execute some activities to recover from the failure. We present a diagnosis method for identifying incorrect activities in proc...

In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matching some desired service description, or to compare some normative process model with a process model discovered using process mining techniques. Although many researchers have worked on different notions of equivalen...

We show that observed choices in discounting experiments are consistent with roughly one-half of the subjects using exponential discounting and one-half using quasi-hyperbolic discounting. We characterize the latent data generating process using a mixture model which allows different subjects to behave consistently with each model. Our results have substantive implications for the assumptions m...

The paper introduces a new approach to define process algebras with quantified transitions. A mathematical model is introduced which allows the definition of various classes of process algebras including the well known models of untimed, probabilistic and stochastic process algebras. For this general mathematical model a bisimulation equivalence is defined and it is shown that the equivalence i...

Pablo A. Straub and Carlos Hurtado L. [email protected] [email protected] Depto. de Ciencia de la Computaci on Universidad Cat olica de Chile Vicu~ na Mackenna 4860 (143) Santiago 22, Chile Abstract Petri-nets have been used to model and analyze business process behavior, both in pure form and as the semantics of visual formalisms. We and others have advocated the use of a restricted class of...