The synthesis problem for elementary net systems is NP-complete

Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe

doi:10.1016/s0304-3975(96)00219-8

Cited by 75 publications

(52 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In our approach we use the so-called state-based regions as defined in [9,10,14,15,23]. This way, transition systems can be mapped onto Petri nets using synthesis.…”

Section: Related Workmentioning

confidence: 99%

“…This paper will present a new type of process discovery which uses a two-step approach: (1) we generate a transition system that is used as an intermediate representation and (2) based on this we obtain a Petri net constructed through regions [9,10,14,15,23] as a final representation. Transition systems are the most basic representation of processes, but even simple processes tend to have many states (cf.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Process mining: a two-step approach to balance between underfitting and overfitting

et al. 2008

View full text Add to dashboard Cite

Process mining includes the automated discovery of processes from event logs. Based on observed events (e.g., activities being executed or messages being exchanged) a process model is constructed. One of the essential problems in process mining is that one cannot assume to have seen all possible behavior. At best, one has seen a representative subset. Therefore, classical synthesis techniques are not suitable as they aim at finding a model that is able to exactly reproduce the log. Existing process mining techniques try to avoid such "overfitting" by generalizing the model to allow for more behavior. This generalization is often driven by the representation language and very crude assumptions about completeness. As a result, parts of the model are "overfitting" (allow only for what has actually been observed) while other parts may be "underfitting" (allow for much more behavior without strong support for it). None of the existing techniques enables the user to control the balance between "overfitting" and "underfitting". To address this, we propose a two-step approach. First, using a configurable approach, a transition system is constructed. Then, using the "theory of regions", the model is synthesized. The approach has been implemented in the context of ProM and overcomes many of the limitations of traditional approaches.

show abstract

“…In our approach we use the so-called state-based regions as defined in [9,10,14,15,23]. This way, transition systems can be mapped onto Petri nets using synthesis.…”

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Process mining: a two-step approach to balance between underfitting and overfitting

et al. 2008

View full text Add to dashboard Cite

show abstract

“…The α-algorithm, for example, can create a Petri net process model from an execution log [2]. In the last years, a number of process mining approaches have been developed, which address the various perspectives of a process (e.g., control flow, social network), and use various techniques to generalize from the log (e.g., genetic algorithms, theory of regions [12,4]). Applied to explicitly designed, well-structured, and rigidly enforced processes, these techniques are able to deliver an impressive set of information, yet their purpose is somewhat limited to verifying the compliant execution.…”

Section: Introductionmentioning

confidence: 99%

Fuzzy Mining – Adaptive Process Simplification Based on Multi-perspective Metrics

Günther

Aalst

2007

Lecture Notes in Computer Science

633

458

View full text Add to dashboard Cite

Abstract. Process Mining is a technique for extracting process models from execution logs. This is particularly useful in situations where people have an idealized view of reality. Real-life processes turn out to be less structured than people tend to believe. Unfortunately, traditional process mining approaches have problems dealing with unstructured processes. The discovered models are often "spaghetti-like", showing all details without distinguishing what is important and what is not. This paper proposes a new process mining approach to overcome this problem. The approach is configurable and allows for different faithfully simplified views of a particular process. To do this, the concept of a roadmap is used as a metaphor. Just like different roadmaps provide suitable abstractions of reality, process models should provide meaningful abstractions of operational processes encountered in domains ranging from healthcare and logistics to web services and public administration.

show abstract

“…The first papers on the Theory of Regions only dealt with a special class of state-based models called elementary transition systems [5], [6], [14]. Region 2 of Figure 5 is an example of a situation that is not allowed in such an elementary transition system.…”

Section: Synthesis Of Epc Reachability Graphmentioning

confidence: 99%