As the classic branching process, Galton-Watson process has obtained intensive attentions in past decades. However, this model two idealized assumptions–discrete states and time-homogeneity. In present paper, we consider a with continuous states, for any given n∈N, law of every particle generation n is determined by population size n. We case that extinct Probability 1 since will be substantial...

Building real-world process models is hard, because processes having both parallelism and choice can have behavioral anomalies. Alas, the usual way to avoid these anomalies is by deening simple-minded models that inhibit parallelism, abstract away exceptional cases, or do not assure correct behavior. This paper gives a notion of correct behavior, the so-called simple control property, which imp...

In this articles we focus on the system behavioral modeling. We discuss systematic modeling approach for the system modeling. For the proposed modeling approach, the system engineering techniques are adopted. The role of the SysML basic principles and diagrams is discussed. Keywords—System engineering, system modeling, behavioral modeling, sysml, uml

This paper presents the integration of three behavior-based comparison operations between logs and/or models into the Apromore process model repository. Each of these operations takes as input a pair of process artifacts (two event logs, two models, or one log and one model) and describes their behavioral differences by means of natural language statements. The generated difference diagnosis ha...

Class Different levels of abstraction may be desired in different contexts, and hence there may be overlaps among different user-defined abstract events. For instance, we may have an abstract event that corresponds to readOpen, and another that corresponds to any open, regardless of whether it is for reading or writing. For simplicity, we restrict the definition of abstract events to be primiti...