Library for Petri net unfoldings based on pm4py
Project description
ИССЛЕДОВАНИЕ И ЭКСПЕРИМЕНТАЛЬНАЯ РЕАЛИЗАЦИЯ АЛГОРИТМА ПОСТРОЕНИЯ РАЗВЕРТОК ДЛЯ МОДЕЛЕЙ ПРОЦЕССОВ В ВИДЕ СЕТЕЙ ПЕТРИ
Данный репозиторий содержит исходный код, написанный в рамках курсовой работы на данную тему.
Структура проекта
│ 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
и содержит следующие разделы:
alg
содержит в себе исходный код различных вспомогательных алгоритмов;cutoff_settings
содержит в себе определение интерфейса настроек отсечения и его реализаций;decorations
содержит в себе определение интерфейс декораций - настроек вывода префикса;obj
содержит в себе классы, расширяющие объектную модельpm4py
;order_settings
содержит определение интерфейса настроек порядка и его реализаций;unfolding_algorithms
содержит в себе реализацию 2-х версий алгоритма Макмиллана - стандартный обобщенный (standard.py
) и обобщенный алгоритм построения развертки сопряженной сети (папкаn_safe
)
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Close
Hashes for pm4py_pn_unfoldings-1.0.0.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 15660ec407a467bfec37f519dd3135ed495b2cc68ff2b4d5b467bdc549b64685 |
|
MD5 | f65e8359f37f79999533ac57236281d3 |
|
BLAKE2b-256 | 8daace3f1e9875ca128008fc9bcfa9f9a4c5d6246f69f16e46964d5cef3f33f0 |
Close
Hashes for pm4py_pn_unfoldings-1.0.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3d5bb348f65ae5c56e9ea320cffcac98ab0ed92aaba434bfff5a09aed88d0198 |
|
MD5 | 03f54661355ab3c9c26679177d45a661 |
|
BLAKE2b-256 | 7615d192fb1bea6b7789dd96f95f19b2347a4e632f068a85952e3febfabe5f8b |