موضوع مقاله: الگوریتم آلفا | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # الگوریتم آلفا | مقدمه: گزارش رویداد مجموعه ای از چندین ردیابی است و یک ردیابی، دنباله ای از اسم‌های هر فعالیت است. | ## بخش 1: الگوریتم آلفا | از آن زمان تا به حال تعدادی افزونه یا اصلاحاتی ارائه شده‌است که در زیر فهرست می‌شود. و همچنین یک نمای مناسبی از هدف کشف فرایند و اینکه چگونه فعالیت‌های مختلف داخل این فرایند اجرا می‌شوند، ارائه می‌دهد. توضیح کوتاه این الگوریتم به عنوان ورودی، یک گزارش گردش کار می‌گیرد که منجر به ایجاد یک شبکه گردش کار می‌شود. به عنوان نمونه، در هر ردیابی اجرا، یک کار خاص ممکن است همیشه مقدم بر کار خاص دیگری باشد که این، اطلاعات مفیدی را ارائه خواهد داد. تعاریف استفاده شده ردیابی گردش کار یا ردیابی اجرا، رشته ای است بر روی الفبایی از وظایف گزارش گردش کار مجموعه ای از ردیابی گردش کار است. گزارش گزارش رویداد از الزامات اولیه برای به کار بردن هر الگوریتم کشف فرایند است. | ## بخش 2: الگوریتم آلفا | هر گزارش رویداد متشکل از یک شناسه یکتا برای یک حالت و یک اسم فعالیت (که عمل رخ داده در فرایند و برچسب زمان آن عمل را توصیف می‌کند) است. یک نمونه گزارش رویداد را که در شکل زیر نشان داده شده‌است را در نظر بگیرید: +نمونه گزارش رویداد شناسه مورد فعالیت برچسب زمان ۱ A ۲۰۱۹/۱۰/۰۹ ۱۴:۵۰:۱۷٫۰۰۰ ۱ B ۲۰۱۹/۱۰/۰۹ ۱۵:۵۰:۱۷٫۰۰۰ ۱ C ۲۰۱۹/۱۰/۰۹ ۱۵:۵۶:۱۷٫۰۰۰ ۱ D ۲۰۱۹/۱۰/۱۰ ۱۳:۵۰:۱۷٫۰۰۰ ۲ A ۲۰۱۹/۱۰/۱۰ ۱۴:۳۰:۱۷٫۰۰۰ ۲C ۲۰۱۹/۱۰/۱۰ ۱۴:۵۰:۱۴٫۰۰۰ ۲ B ۲۰۱۹/۱۰/۱۱ ۰۹:۵۰:۱۷٫۰۰۰ ۲ D ۲۰۱۹/۱۰/۱۱ ۱۰:۵۰:۱۷٫۰۰۰ ۳ A ۲۰۱۹/۱۰/۱۱ ۱۲:۵۰:۱۷٫۰۰۰ ۳ E ۲۰۱۹/۱۰/۲۱ ۱۴:۵۰:۱۷٫۰۰۰ ۳ D ۲۰۱۹/۱۰/۲۱ ۱۵:۵۰:۱۷٫۰۰۰ یک گزارش رویداد مجموعه ای از چندین ردیابی است و هر ردیابی شامل دنباله ای از فعالیت‌ها است. در نتیجه، یک گزارش رویداد مانند مثال بالا را می‌توان با استفاده از نماد زیر نشان داد: هر گزارش رویداد را می‌توان در مجموعه‌ای از ردیابی‌ها خلاصه کرد، و از چنین ردیابی‌هایی می‌توان برای تقسیم‌بندی روابط بین فعالیت‌های مختلف در فرایند استفاده کرد. بر اساس قوانین آلفا ماینر، فعالیت‌های مربوط به حالت‌های مختلف، می‌توانند ۴ نوع رابطه بینشان داشته باشند: جانشینی مستقیم: x > y اگر و تنها اگر رابطه x مستقیماً توسط y دنبال شود. با استفاده از ماتریس ردپا و الگوی نشان داده شده در بالا، می‌توان یک مدل فرایند ساخت. بر اساس چهار رابطه ایی که قبلاً توضیح داده شد، در ابتدا یک ماتریس مبتنی بر ردپا یافت می‌شود. | ## بخش 3: الگوریتم آلفا | با استفاده از ماتریس مبتنی بر ردپا، جایگاه‌ها نیز کشف می‌شوند که هر جایگاه برای اینکه تعداد جایگاه‌ها تا حد امکان کم باشد با یک جفت مجموعه وظایف شناسایی می‌شود. +ماتریس رد پای برای لاگ L1 a b c d e a # → → # → b ← # || → # c ← || # → # d # ← ← # ← e ← # # → # مجموعه تمام جفت‌ها است از حداکثر مجموعه وظایف به گونه ای که: هیچ‌کدام از و شامل هر عضوی از > نباشند. رابطه جریان اجتماع موارد زیر است: نتیجه این است: ساختار شبکه پتری با یک محل ورودی و یک محل خروجی به خاطر اینکه هر گذار از ، روی مسیر از به است، در واقع یک شبکه گردش کار است. لازم نیست که همه ردیابی‌های ممکن نمایش داده شود (که برای یک شبکه با یک حلقه بی‌نهایت خواهد بود). محدودیت‌ها مکان‌های ضمنی: آلفا ماینر نمی‌تواند بین مکان‌های ضمنی و مکان‌های مورد نیاز تمایز قائل شود و در نتیجه ممکن است مکان‌های غیر ضروری اضافی را در شبکه پتری به وجود آمده ایجاد کند. | ## جمع‌بندی | سوگیری بازنمایی: آلفا ماینر فقط می‌تواند شبکه پتری را کشف کند، بنابراین برای هر انتقال سوگیری بازنمایی را (مانند نیاز به برچسب‌های قابل مشاهده یکتا) را اضافه می‌کند.