{
    "metadata": {
        "dataset_id": "shahroodut-thesis",
        "record_id": "Q14",
        "title": "تعیین تعداد کمینه log های مورد نیاز برای تشخیص صحیح یک مدل فرایندی بر اساس شبکه های پتری",
        "publisher": "دانشگاه صنعتی شاهرود",
        "owner": "کتابخانه مرکزی دانشگاه صنعتی شاهرود",
        "license": "CC-BY-4.0",
        "license_url": "https://creativecommons.org/licenses/by/4.0/",
        "license_text": "استفاده، بازنشر، تحلیل، پردازش و بهره برداری پژوهشی، آموزشی و صنعتی با ذکر منبع دانشگاه صنعتی شاهرود مجاز است.",
        "publication_date": "1391",
        "last_update": "2026-07-11",
        "language": "fa",
        "format": "application/json",
        "contact": "thesis@shahroodut.ac.ir",
        "access": {
            "fulltext_available": "true",
            "public_access": "true"
        }
    },
    "data": {
        "thesis_id": "Q14",
        "title": "تعیین تعداد کمینه log های مورد نیاز برای تشخیص صحیح یک مدل فرایندی بر اساس شبکه های پتری",
        "degree": null,
        "faculty": "مهندسی کامپیوتر ",
        "year": 1391,
        "authors": [
            {
                "name": "رضا شمس",
                "role": "پدیدآور اصلی"
            },
            {
                "name": "Ali Pouyan",
                "role": "استاد راهنما"
            },
            {
                "name": "داود شمسی",
                "role": "استاد مشاور"
            }
        ],
        "keywords": [
            "شبکه پتری",
            "فرایندکاوی",
            "ثبت رخداد  "
        ],
        "abstract": "مدیریت فرایند های تجاری شامل برنامه ریزی، شبیه سازی و آنالیز یک سیستم تجاری است. امروزه گرایش فناوری اطلاعات به سمت مدیریت سیستم های گردش کار  است. سیستم  مدیریت جریان کار، یک سیستم کامپیوتری است که به تعریف و مدیریت یکسری از فعالیت ها در یک سازمان، برای رسیدن به یک هدف خاص، می پردازد. برای شبیه سازی سیستم های گردش کار از مفهوم مدل فرایندی استفاده می شود. ساخت یک مدل فرایندی از روی ثبت رخداد ها یکی از زمینه های مهم در مدیریت فرایند های تجاری می باشد.     \r\nدر این تحقیق به بررسی اطلاعات مفید در یک ثبت رخداد برای بازسازی یک مدل فرایندی پرداخته می شود. بعبارتی دیگر هدف از این پایان نامه بررسی حداقل تعداد دنباله رخداد های مورد نیاز برای تشخیص یک مدل فرایندی می باشد. در این پایان نامه،  ما شبکه ی پتری را  بعنوان یک مدل فرایندی مورد بررسی قرار می-دهیم. شبکه های پتری یکی از رایج ترین مدل های فرایندی است که مورد استفاده قرار می گیرد.\r\n الگوریتم های زیادی برای استخراج یک مدل فرایندی  از ثبت رخداد ها وجود دارد، که هریک با توجه به مدل گردش کار  مورد استفاده قرار می گیرد. هر چه دانش استخراج شده از ثبت رخداد  ها کامل تر باشد مدل فرایندی دقیق تری بدست می آید و مدیریت سیستم بهتر می شود. اما اطلاعات اضافی در یک ثبت رخداد نیز باعث کاهش کارایی الگوریتم های اکتشاف می شود. بنابراین ایجاد یک ثبت رخداد بهینه می تواند باعث افزایش کارایی الگوریتم های اکتشاف شود. در این تحقیق از الگوریتم آلفا بعنوان الگوریتم پایه برای ساخت مدل فرایندی استفاده می کنیم. همچنین راه حل پیشنهادی، یک ثبت رخداد کامل و  بهینه را برای الگوریتم آلفا  بدست می آورد.",
        "repository": "کتابخانه مرکزی دانشگاه صنعتی شاهرود",
        "note": "حقوق مادی و معنوی متعلق به دانشگاه صنعتی شاهرود می باشد.",
        "download_url": "https://shahroodut.ac.ir/fa/thesis/files/somefiles/sf_Q14.pdf"
    },
    "dictionary": {
        "thesis_id": "شناسه پایان نامه",
        "title": "عنوان پایان نامه",
        "degree": "مقطع تحصیلی",
        "faculty": "دانشکده",
        "year": "سال دفاع",
        "authors": "پدیدآورندگان",
        "keywords": "کلیدواژه ها",
        "abstract": "چکیده",
        "repository": "محل نگهداری",
        "note": "یادداشت",
        "download_url": "آدرس فایل پایان نامه"
    }
}