論文の概要: Language-Preserving Reduction Rules for Block-Structured Workflow Nets
- arxiv url: http://arxiv.org/abs/2203.10410v1
- Date: Sat, 19 Mar 2022 23:40:45 GMT
- ステータス: 処理完了
- システム内更新日: 2022-03-26 14:43:03.279599
- Title: Language-Preserving Reduction Rules for Block-Structured Workflow Nets
- Title（参考訳）: ブロック構造化ワークフローネットの言語保存削減規則
- Authors: Sander J.J. Leemans
- Abstract要約: プロセスツリーのブロック構造を考慮すれば,ペトリネットのサブクラスを削減できることを示す。
プロセスツリーの既存のリダクションルールを再検討し、ルールが正しく、終了し、収束し、完全であることを示します。
実生活実験において、これらのルールは、ペトリネット構造のみを考慮したルールと比較して、実生活のイベントログから発見されたプロセスモデルを減らすことができることを示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Process models are used by human analysts to model and analyse behaviour, and
by machines to verify properties such as soundness, liveness or other
reachability properties, and to compare their expressed behaviour with recorded
behaviour within business processes of organisations. For both human and
machine use, small models are preferable over large and complex models: for
ease of human understanding and to reduce the time spent by machines in state
space explorations. Reduction rules that preserve the behaviour of models have
been defined for Petri nets, however in this paper we show that a subclass of
Petri nets returned by process discovery techniques, that is, block-structured
workflow nets, can be further reduced by considering their block structure in
process trees. We revisit an existing set of reduction rules for process trees
and show that the rules are correct, terminating, confluent and complete, and
for which classes of process trees they are and are not complete. In a
real-life experiment, we show that these rules can reduce process models
discovered from real-life event logs further compared with rules that consider
only Petri net structures.
- Abstract（参考訳）: プロセスモデルは、人間の分析者によって行動のモデル化と分析に使われ、機械は、健全性、生存性、その他の到達可能性特性などの特性を検証し、それらの表現された行動と組織のビジネスプロセス内の記録された行動を比較する。
人間と機械の両方にとって、小さなモデルは大規模で複雑なモデルよりも好まれる:人間の理解の容易さと、状態空間探索において機械が費やす時間を短縮する。
ペトリネットでは,モデルの振る舞いを保存する還元ルールが定義されているが,本稿では,プロセス探索手法によって返されるペトリネット,すなわちブロック構造ワークフローネットのサブクラスが,プロセスツリーのブロック構造を考慮してさらに削減可能であることを示す。
我々は、プロセスツリーの既存の還元規則を再検討し、ルールが正しい、終了、合流、完了であり、どのプロセスツリーのクラスが完了していないかを示す。
実生活実験では,ペトリネット構造のみを考慮したルールと比較して,実生活イベントログから検出されるプロセスモデルをさらに削減できることを示す。
関連論文リスト
- Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Log [1.389948527681755]
本稿では,参照モデルコレクションから宣言的ベストプラクティス制約をマイニングするためのフレームワークを提案する。
本稿では,実世界のプロセスモデルコレクションとイベントログに基づく評価により,ベストプラクティス違反を検出するフレームワークの能力を実証する。
論文 参考訳（メタデータ） (2024-07-02T15:05:37Z) - Process Mining Embeddings: Learning Vector Representations for Petri Nets [0.09999629695552192]
Doc2Vecにインスパイアされた教師なしの方法論であるPetriNet2Vecを紹介する。
このアプローチはペトリネットを埋め込みベクトルに変換し、プロセスモデルの比較、クラスタリング、分類を容易にする。
その結果,PetriNet2Vecがプロセスマイニング能力を大幅に向上させる可能性が示された。
論文 参考訳（メタデータ） (2024-04-26T03:07:32Z) - Mining a Minimal Set of Behavioral Patterns using Incremental Evaluation [3.16536213610547]
行動パターンマイニングへの既存のアプローチには2つの制限がある。
まず、インクリメンタルな計算がパターン候補の生成にのみ組み込まれるため、スケーラビリティが制限される。
第二に、マイニングされたパターンに基づくプロセス分析は、実用的なアプリケーションシナリオで得られるパターンが圧倒的に多いため、限られた効果しか示さない。
論文 参考訳（メタデータ） (2024-02-05T11:41:37Z) - Object-Centric Conformance Alignments with Synchronization (Extended Version) [57.76661079749309]
対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。
我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
論文 参考訳（メタデータ） (2023-12-13T21:53:32Z) - Generative Models as a Complex Systems Science: How can we make sense of
large language model behavior? [75.79305790453654]
事前訓練されたモデルから望ましい振る舞いを排除し、望ましくないモデルを避けながら、NLPを再定義した。
言語モデルの振る舞いをタスク間性能を説明するカテゴリに分解する体系的な取り組みについて論じる。
論文 参考訳（メタデータ） (2023-07-31T22:58:41Z) - Comparing Ordering Strategies For Process Discovery Using Synthesis
Rules [0.5330240017302619]
プロセス発見は、観察された振る舞いからプロセスモデルを学ぶことを目的としている。
本稿では,異なる順序付け戦略が発見モデルに与える影響について検討する。
論文 参考訳（メタデータ） (2023-01-04T16:17:52Z) - Autoregressive Structured Prediction with Language Models [73.11519625765301]
本稿では, PLM を用いた自己回帰的手法を用いて, モデル構造を行動列として記述する。
我々のアプローチは、私たちが見てきた全ての構造化予測タスクにおいて、新しい最先端を実現する。
論文 参考訳（メタデータ） (2022-10-26T13:27:26Z) - Sparse*BERT: Sparse Models Generalize To New tasks and Domains [79.42527716035879]
本稿では, 階層的非構造的マグニチュード・プルーニング(Gradual Unstructured Magnitude Pruning)を用いて, ドメイン間およびタスク間を移動可能なモデルについて検討する。
Sparse*BERTは、非構造化バイオメディカルテキスト上で圧縮されたアーキテクチャを事前学習することで、SparseBioBERTとなることを示す。
論文 参考訳（メタデータ） (2022-05-25T02:51:12Z) - Explainability in Process Outcome Prediction: Guidelines to Obtain
Interpretable and Faithful Models [77.34726150561087]
本稿では、プロセス結果予測の分野における説明可能性モデルと説明可能性モデルの忠実性を通して、説明可能性を定義する。
本稿では,イベントログの仕様に基づいて適切なモデルを選択することのできる,X-MOPというガイドラインのセットを提案する。
論文 参考訳（メタデータ） (2022-03-30T05:59:50Z) - Structural Causal Models Are (Solvable by) Credal Networks [70.45873402967297]
因果推論は、干潟網の更新のための標準的なアルゴリズムによって得ることができる。
この貢献は, 干潟ネットワークによる構造因果モデルを表現するための体系的なアプローチと見なされるべきである。
実験により, 実規模問題における因果推論には, クレーダルネットワークの近似アルゴリズムがすぐに利用できることがわかった。
論文 参考訳（メタデータ） (2020-08-02T11:19:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。