# ИССЛЕДОВАНИЕ И ЭКСПЕРИМЕНТАЛЬНАЯ РЕАЛИЗАЦИЯ АЛГОРИТМА ПОСТРОЕНИЯ РАЗВЕРТОК ДЛЯ МОДЕЛЕЙ ПРОЦЕССОВ В ВИДЕ СЕТЕЙ ПЕТРИ
Данный репозиторий содержит исходный код, написанный в рамках курсовой работы на данную тему.
## Структура проекта
```
│ LICENSE
│ README.md
├───nets_generators
│ │ dining_philosophers.py
│ │ dining_philosophers_with_dict.py
│ │ generate_slotted_ring.py
│ │ milners_cyclic_scheduler.py
│ │ mutual_exclusion.py
│ │ __init__.py
└───unfoldings
│ __init__.py
├───alg
│ │ concurrency_relation.py
│ │ possible_extensions.py
│ │ priority_queue.py
│ │ __init__.py
├───cutoff_settings
│ │ abstract.py
│ │ idle.py
│ │ mark.py
│ │ __init__.py
├───decorations
│ │ abstract.py
│ │ colors.py
│ │ idle.py
│ │ labels.py
│ │ __init__.py
├───obj
│ │ condition.py
│ │ event.py
│ │ prefix.py
│ │ __init__.py
├───order_settings
│ │ abstract.py
│ │ basic.py
│ │ config_length_utils.py
│ │ foata.py
│ │ idle.py
│ │ __init__.py
├───unfolding_algorithms
│ │ standard.py
│ │ __init__.py
│ ├───n_safe
│ │ │ build_prefix.py
│ │ │ condition.py
│ │ │ event.py
│ │ │ possible_extensions.py
│ │ │ __init__.py
```
Папка `nets_generator` содержит скрипты для генерации сетей Петри, использовавшихся при экспериментальной оценке программ.
Исходный код проекта лежит в папке `unfoldings` и содержит следующие разделы:
1. `alg` содержит в себе исходный код различных вспомогательных алгоритмов;
2. `cutoff_settings` содержит в себе определение интерфейса настроек отсечения и его реализаций;
3. `decorations` содержит в себе определение интерфейс декораций - настроек вывода префикса;
4. `obj` содержит в себе классы, расширяющие объектную модель `pm4py`;
5. `order_settings` содержит определение интерфейса настроек порядка и его реализаций;
6. `unfolding_algorithms` содержит в себе реализацию 2-х версий алгоритма Макмиллана - стандартный обобщенный (`standard.py`) и обобщенный алгоритм построения развертки сопряженной сети (папка `n_safe`)
Raw data
{
"_id": null,
"home_page": "https://github.com/TimurTimergalin/Unfoldings",
"name": "pm4py-pn-unfoldings",
"maintainer": null,
"docs_url": null,
"requires_python": null,
"maintainer_email": null,
"keywords": "petri-nets unfoldings pm4py",
"author": "TimurTimergalin",
"author_email": "tmtimergalin8080@gmail.com",
"download_url": "https://files.pythonhosted.org/packages/ad/3a/f8fd16d3f84a41e7d7945b6feba247a4b59e101b2449885031e0aeb52923/pm4py_pn_unfoldings-1.0.1.tar.gz",
"platform": null,
"description": "# \u0418\u0421\u0421\u041b\u0415\u0414\u041e\u0412\u0410\u041d\u0418\u0415 \u0418 \u042d\u041a\u0421\u041f\u0415\u0420\u0418\u041c\u0415\u041d\u0422\u0410\u041b\u042c\u041d\u0410\u042f \u0420\u0415\u0410\u041b\u0418\u0417\u0410\u0426\u0418\u042f \u0410\u041b\u0413\u041e\u0420\u0418\u0422\u041c\u0410 \u041f\u041e\u0421\u0422\u0420\u041e\u0415\u041d\u0418\u042f \u0420\u0410\u0417\u0412\u0415\u0420\u0422\u041e\u041a \u0414\u041b\u042f \u041c\u041e\u0414\u0415\u041b\u0415\u0419 \u041f\u0420\u041e\u0426\u0415\u0421\u0421\u041e\u0412 \u0412 \u0412\u0418\u0414\u0415 \u0421\u0415\u0422\u0415\u0419 \u041f\u0415\u0422\u0420\u0418\r\n\u0414\u0430\u043d\u043d\u044b\u0439 \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434, \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0439 \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u043a\u0443\u0440\u0441\u043e\u0432\u043e\u0439 \u0440\u0430\u0431\u043e\u0442\u044b \u043d\u0430 \u0434\u0430\u043d\u043d\u0443\u044e \u0442\u0435\u043c\u0443.\r\n\r\n## \u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u043f\u0440\u043e\u0435\u043a\u0442\u0430\r\n\r\n```\r\n\u2502 LICENSE\r\n\u2502 README.md\r\n\u251c\u2500\u2500\u2500nets_generators\r\n\u2502 \u2502 dining_philosophers.py\r\n\u2502 \u2502 dining_philosophers_with_dict.py\r\n\u2502 \u2502 generate_slotted_ring.py\r\n\u2502 \u2502 milners_cyclic_scheduler.py\r\n\u2502 \u2502 mutual_exclusion.py\r\n\u2502 \u2502 __init__.py\r\n\u2514\u2500\u2500\u2500unfoldings\r\n \u2502 __init__.py\r\n \u251c\u2500\u2500\u2500alg\r\n \u2502 \u2502 concurrency_relation.py\r\n \u2502 \u2502 possible_extensions.py\r\n \u2502 \u2502 priority_queue.py\r\n \u2502 \u2502 __init__.py\r\n \u251c\u2500\u2500\u2500cutoff_settings\r\n \u2502 \u2502 abstract.py\r\n \u2502 \u2502 idle.py\r\n \u2502 \u2502 mark.py\r\n \u2502 \u2502 __init__.py\r\n \u251c\u2500\u2500\u2500decorations\r\n \u2502 \u2502 abstract.py\r\n \u2502 \u2502 colors.py\r\n \u2502 \u2502 idle.py\r\n \u2502 \u2502 labels.py\r\n \u2502 \u2502 __init__.py\r\n \u251c\u2500\u2500\u2500obj\r\n \u2502 \u2502 condition.py\r\n \u2502 \u2502 event.py\r\n \u2502 \u2502 prefix.py\r\n \u2502 \u2502 __init__.py\r\n \u251c\u2500\u2500\u2500order_settings\r\n \u2502 \u2502 abstract.py\r\n \u2502 \u2502 basic.py\r\n \u2502 \u2502 config_length_utils.py\r\n \u2502 \u2502 foata.py\r\n \u2502 \u2502 idle.py\r\n \u2502 \u2502 __init__.py\r\n \u251c\u2500\u2500\u2500unfolding_algorithms\r\n \u2502 \u2502 standard.py\r\n \u2502 \u2502 __init__.py\r\n \u2502 \u251c\u2500\u2500\u2500n_safe\r\n \u2502 \u2502 \u2502 build_prefix.py\r\n \u2502 \u2502 \u2502 condition.py\r\n \u2502 \u2502 \u2502 event.py\r\n \u2502 \u2502 \u2502 possible_extensions.py\r\n \u2502 \u2502 \u2502 __init__.py\r\n```\r\n\r\n\u041f\u0430\u043f\u043a\u0430 `nets_generator` \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0441\u043a\u0440\u0438\u043f\u0442\u044b \u0434\u043b\u044f \u0433\u0435\u043d\u0435\u0440\u0430\u0446\u0438\u0438 \u0441\u0435\u0442\u0435\u0439 \u041f\u0435\u0442\u0440\u0438, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0432\u0448\u0438\u0445\u0441\u044f \u043f\u0440\u0438 \u044d\u043a\u0441\u043f\u0435\u0440\u0438\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u043e\u0439 \u043e\u0446\u0435\u043d\u043a\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c.\r\n\r\n\u0418\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u043b\u0435\u0436\u0438\u0442 \u0432 \u043f\u0430\u043f\u043a\u0435 `unfoldings` \u0438 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0435 \u0440\u0430\u0437\u0434\u0435\u043b\u044b:\r\n\r\n1. `alg` \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0432 \u0441\u0435\u0431\u0435 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u0445 \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u0432;\r\n2. `cutoff_settings` \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0432 \u0441\u0435\u0431\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u0430 \u043d\u0430\u0441\u0442\u0440\u043e\u0435\u043a \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u044f \u0438 \u0435\u0433\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0439;\r\n3. `decorations` \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0432 \u0441\u0435\u0431\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 \u0434\u0435\u043a\u043e\u0440\u0430\u0446\u0438\u0439 - \u043d\u0430\u0441\u0442\u0440\u043e\u0435\u043a \u0432\u044b\u0432\u043e\u0434\u0430 \u043f\u0440\u0435\u0444\u0438\u043a\u0441\u0430;\r\n4. `obj` \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0432 \u0441\u0435\u0431\u0435 \u043a\u043b\u0430\u0441\u0441\u044b, \u0440\u0430\u0441\u0448\u0438\u0440\u044f\u044e\u0449\u0438\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u043d\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c `pm4py`;\r\n5. `order_settings` \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u0430 \u043d\u0430\u0441\u0442\u0440\u043e\u0435\u043a \u043f\u043e\u0440\u044f\u0434\u043a\u0430 \u0438 \u0435\u0433\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0439;\r\n6. `unfolding_algorithms` \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0432 \u0441\u0435\u0431\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e 2-\u0445 \u0432\u0435\u0440\u0441\u0438\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u041c\u0430\u043a\u043c\u0438\u043b\u043b\u0430\u043d\u0430 - \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0439 \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u043d\u044b\u0439 (`standard.py`) \u0438 \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0440\u0430\u0437\u0432\u0435\u0440\u0442\u043a\u0438 \u0441\u043e\u043f\u0440\u044f\u0436\u0435\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 (\u043f\u0430\u043f\u043a\u0430 `n_safe`)\r\n",
"bugtrack_url": null,
"license": null,
"summary": "Library for Petri net unfoldings based on pm4py",
"version": "1.0.1",
"project_urls": {
"Homepage": "https://github.com/TimurTimergalin/Unfoldings"
},
"split_keywords": [
"petri-nets",
"unfoldings",
"pm4py"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "66c6f19e33824bfca26618ed6c5ca791de44f23764ed29ae95c0822dbf544d56",
"md5": "60962ee6e6af600263adab039061f7ff",
"sha256": "70cbe40821788ecee8c3be450863e8755a3cb36307aaafcab6ed516b760cb94b"
},
"downloads": -1,
"filename": "pm4py_pn_unfoldings-1.0.1-py3-none-any.whl",
"has_sig": false,
"md5_digest": "60962ee6e6af600263adab039061f7ff",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 35188,
"upload_time": "2024-04-17T23:15:10",
"upload_time_iso_8601": "2024-04-17T23:15:10.969715Z",
"url": "https://files.pythonhosted.org/packages/66/c6/f19e33824bfca26618ed6c5ca791de44f23764ed29ae95c0822dbf544d56/pm4py_pn_unfoldings-1.0.1-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "ad3af8fd16d3f84a41e7d7945b6feba247a4b59e101b2449885031e0aeb52923",
"md5": "bb9d94bb4913d0ac7922f2fff9852b35",
"sha256": "2657c6bce4eee2ef55e0b0ff393482d091a10319703768c28414d17e8703b06d"
},
"downloads": -1,
"filename": "pm4py_pn_unfoldings-1.0.1.tar.gz",
"has_sig": false,
"md5_digest": "bb9d94bb4913d0ac7922f2fff9852b35",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 21440,
"upload_time": "2024-04-17T23:15:13",
"upload_time_iso_8601": "2024-04-17T23:15:13.247710Z",
"url": "https://files.pythonhosted.org/packages/ad/3a/f8fd16d3f84a41e7d7945b6feba247a4b59e101b2449885031e0aeb52923/pm4py_pn_unfoldings-1.0.1.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-04-17 23:15:13",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "TimurTimergalin",
"github_project": "Unfoldings",
"travis_ci": false,
"coveralls": false,
"github_actions": false,
"lcname": "pm4py-pn-unfoldings"
}
JSON
