論文の概要: FoldA: Computing Partial-Order Alignments Using Directed Net Unfoldings
- arxiv url: http://arxiv.org/abs/2506.08627v1
- Date: Tue, 10 Jun 2025 09:44:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-11 15:11:42.169967
- Title: FoldA: Computing Partial-Order Alignments Using Directed Net Unfoldings
- Title（参考訳）: FoldA: ダイレクトネット展開による部分順序アライメントの計算
- Authors: Douwe Geurtjens, Xixi Lu,
- Abstract要約: 本稿では,FoldA と呼ばれる有向ペトリネット展開を用いたハエの偏位アライメントの計算手法を提案する。
提案手法を485個の合成モデル-ログ対上で評価し,Astar-とDijkstra-アライメントを13個の実生活モデル-ログ対と6個のベンチマーク対で比較した。
- 参考スコア（独自算出の注目度）: 0.6906005491572401
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Conformance checking is a fundamental task of process mining, which quantifies the extent to which the observed process executions match a normative process model. The state-of-the-art approaches compute alignments by exploring the state space formed by the synchronous product of the process model and the trace. This often leads to state space explosion, particularly when the model exhibits a high degree of choice and concurrency. Moreover, as alignments inherently impose a sequential structure, they fail to fully represent the concurrent behavior present in many real-world processes. To address these limitations, this paper proposes a new technique for computing partial-order alignments {on the fly using directed Petri net unfoldings, named FoldA. We evaluate our technique on 485 synthetic model-log pairs and compare it against Astar- and Dijkstra-alignments on 13 real-life model-log pairs and 6 benchmark pairs. The results show that our unfolding alignment, although it requires more computation time, generally reduces the number of queued states and provides a more accurate representation of concurrency.
- Abstract（参考訳）: コンフォーマンスチェックはプロセスマイニングの基本的なタスクであり、観察されたプロセスの実行が規範的なプロセスモデルにマッチする程度を定量化する。
最先端の手法は、プロセスモデルとトレースの同期積によって形成される状態空間を探索することで、計算アライメントにアプローチする。
これはしばしば状態空間の爆発を引き起こし、特にモデルが高い選択と並行性を示す場合である。
さらに、アライメントは本質的にシーケンシャルな構造を課すため、多くの現実世界のプロセスに存在する並行挙動を完全に表現できない。
これらの制約に対処するために,FoldA と呼ばれる有向ペトリネット展開を用いた偏位アライメントを高速に計算する新しい手法を提案する。
提案手法を485個の合成モデル-ログ対上で評価し,Astar-とDijkstra-アライメントを13個の実生活モデル-ログ対と6個のベンチマーク対で比較した。
その結果,計算時間を要するが,一般に待ち行列状態の数を減らし,並列性をより正確に表現できることが示唆された。
関連論文リスト
- COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement [80.18490952057125]
反復改良は、複雑なタスクにおける大規模言語モデル(LLM)の能力を高める効果的なパラダイムとして登場した。
我々はこれらの課題を克服するために、コンテキストワイズ順序非依存言語モデリング(COrAL)を提案する。
当社のアプローチでは、管理可能なコンテキストウィンドウ内で複数のトークン依存関係をモデル化しています。
論文 参考訳（メタデータ） (2024-10-12T23:56:19Z) - Efficient Online Computation of Business Process State From Trace Prefixes via N-Gram Indexing [0.5141137421503899]
プロセスモデルとプロセスの進行中ケースのトレースプレフィックスを含むイベントログが与えられたら、各ケースをモデル内の対応する状態にマップする。
この状態計算問題に対するアプローチは、モデルに対して各トレースプレフィックスのトークンベースのリプレイを実行することである。
本稿では,現在進行中の事例のトレースプレフィックスが与えられた場合,n-gramとして状態を表わす指標を用いて,その状態を一定時間に計算する手法を提案する。
論文 参考訳（メタデータ） (2024-09-09T14:28:24Z) - Bisimulation Learning [55.859538562698496]
我々は、大きな、潜在的に無限の状態空間を持つ状態遷移系の有限バイシミュレートを計算する。
提案手法は,実際に行われている他の最先端ツールよりも高速な検証結果が得られる。
論文 参考訳（メタデータ） (2024-05-24T17:11:27Z) - Non-autoregressive Sequence-to-Sequence Vision-Language Models [59.445765313094434]
本稿では,デコーダ内の複数の推論経路をマージする並列デコードシーケンス・ツー・シーケンス・ビジョン言語モデルを提案する。
このモデルは最先端の自己回帰モデルと同等のパフォーマンスを実現するが、推論時間では高速である。
論文 参考訳（メタデータ） (2024-03-04T17:34:59Z) - Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。
最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。
シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文 参考訳（メタデータ） (2023-10-05T07:10:40Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z) - Conformance Checking of Mixed-paradigm Process Models [1.8122712065585906]
混合パラダイムプロセスモデルは、ペトリネットやDeclareのような手続き的および宣言的表現の強みを統合する。
プロセスマイニングのための混合パラダイムモデルの拡散に関する重要な研究課題は、対応する適合性検査技術の欠如である。
混合パラダイムモデルの中間状態空間で動作する最初のアプローチを考案する。
論文 参考訳（メタデータ） (2020-11-23T17:04:33Z) - Efficient Conformance Checking using Approximate Alignment Computation
with Tandem Repeats [0.03222802562733786]
コンフォーマンスチェックは、期待されるプロセスの振る舞いをキャプチャするプロセスモデルと、観測された振る舞いを記録する対応するイベントログの違いを発見し、記述することを目的としている。
アライメントは、イベントログ内のトレースと、対応するプロセスモデルの最も近い実行トレースの間の距離を計算するための確立されたテクニックである。
本稿では,前処理と後処理を併用してトレースの長さを圧縮し,アライメントコストを再計算する手法を提案する。
論文 参考訳（メタデータ） (2020-04-02T03:50:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。