Core Concepts
Petriネットにおける並行性検出の重要性と、新しいCPアルゴリズムの導入
Abstract
この技術報告は、Petriネットを使用して複雑なシステムの振る舞いを記述し、分析する方法に焦点を当てています。特に、並行性がネットの解析を複雑化させることが強調されています。KovalyovとEsparzaによって提案されたアルゴリズムから始まり、新しいCPアルゴリズムが導入されました。これは、サウンドフリーチョイスワークフローネット向けのものであり、循環的なネットでも処理可能です。
Introduction
Petri nets are used to model complex system behavior.
Concurrency detection is crucial for understanding system behavior.
Kovalyov and Esparza's algorithm introduced, complemented by the CP algorithm for sound free-choice workflow nets.
Preliminaries
Definitions of Petri nets, markings, semantics, reachability, and soundness explained.
Liveness and boundedness properties discussed.
Concurrency and Algorithm Overview
Importance of concurrency detection in Petri nets highlighted.
KovEs algorithm revised for AFW-nets based on soundness principles.
New CP algorithm introduced with quadratic computational complexity.
Revised Algorithm Details
Algorithm computes concurrency relations for each node in the AFW-net.
Utilizes HasPath relation to identify concurrency between nodes efficiently.
Stats
KovalyovとEsparzaによって提案されたアルゴリズムはO((P + T)TP 2)であり、CPアルゴリズムはO(P 2 + T 2)である。