LICENSE
README.md
READMEpypi.md
pyproject.toml
src/bpmn2pnml_ltl/__init__.py
src/bpmn2pnml_ltl/pipeline.py
src/bpmn2pnml_ltl_analyzer.egg-info/PKG-INFO
src/bpmn2pnml_ltl_analyzer.egg-info/SOURCES.txt
src/bpmn2pnml_ltl_analyzer.egg-info/dependency_links.txt
src/bpmn2pnml_ltl_analyzer.egg-info/requires.txt
src/bpmn2pnml_ltl_analyzer.egg-info/top_level.txt
src/bpmn_ltl/__init__.py
src/bpmn_ltl/core/__init__.py
src/bpmn_ltl/core/analyzers/__init__.py
src/bpmn_ltl/core/analyzers/bpmn/__init__.py
src/bpmn_ltl/core/analyzers/bpmn/engine.py
src/bpmn_ltl/core/analyzers/bpmn/rules/__init__.py
src/bpmn_ltl/core/analyzers/bpmn/rules/base_rule.py
src/bpmn_ltl/core/analyzers/bpmn/rules/rule_01_loop_deadlock.py
src/bpmn_ltl/core/analyzers/bpmn/rules/rule_02_resource_deadlock.py
src/bpmn_ltl/core/analyzers/bpmn/rules/rule_03_improper_structuring.py
src/bpmn_ltl/core/analyzers/bpmn/rules/rule_04_conditional_livelock.py
src/bpmn_ltl/core/analyzers/petrinet/__init__.py
src/bpmn_ltl/core/analyzers/petrinet/engine.py
src/bpmn_ltl/core/analyzers/petrinet/marking_tracker.py
src/bpmn_ltl/core/analyzers/petrinet/rules/__init__.py
src/bpmn_ltl/core/analyzers/petrinet/rules/base_rule.py
src/bpmn_ltl/core/analyzers/petrinet/rules/rule_01_loop_deadlock.py
src/bpmn_ltl/core/analyzers/petrinet/rules/rule_02_resource_deadlock.py
src/bpmn_ltl/core/analyzers/petrinet/rules/rule_03_improper_structuring.py
src/bpmn_ltl/core/analyzers/petrinet/rules/rule_04_conditional_livelock.py
src/bpmn_ltl/core/comparison/__init__.py
src/bpmn_ltl/core/comparison/cross_validator.py
src/bpmn_ltl/core/comparison/quadrant.py
src/bpmn_ltl/core/models/__init__.py
src/bpmn_ltl/core/models/analysis_log.py
src/bpmn_ltl/core/models/analysis_results.py
src/bpmn_ltl/core/models/bpmn/__init__.py
src/bpmn_ltl/core/models/bpmn/elements.py
src/bpmn_ltl/core/models/bpmn/enums.py
src/bpmn_ltl/core/models/bpmn/graph.py
src/bpmn_ltl/core/models/petrinet/__init__.py
src/bpmn_ltl/core/models/petrinet/elements.py
src/bpmn_ltl/core/models/petrinet/marking.py
src/bpmn_ltl/core/models/petrinet/net.py
src/bpmn_ltl/core/parsers/__init__.py
src/bpmn_ltl/core/parsers/bpmn_parser/__init__.py
src/bpmn_ltl/core/parsers/bpmn_parser/exceptions.py
src/bpmn_ltl/core/parsers/bpmn_parser/parser.py
src/bpmn_ltl/core/parsers/pnml_parser/__init__.py
src/bpmn_ltl/core/parsers/pnml_parser/elements_helper.py
src/bpmn_ltl/core/parsers/pnml_parser/exceptions.py
src/bpmn_ltl/core/parsers/pnml_parser/parser.py
src/bpmn_ltl/utils/__init__.py
src/bpmn_ltl/utils/logger.py
src/bpmn_ltl/utils/exceptions/__init__.py
src/bpmn_ltl/utils/exceptions/base.py
src/bpmn_ltl/utils/exceptions/business_exceptions.py
src/bpmn_ltl/utils/exceptions/db_exceptions.py
src/bpmn_ltl/utils/exceptions/http_exceptions.py
src/bpmn_ltl/utils/exceptions/response.py
src/bpmn_multiformat/__init__.py
src/bpmn_multiformat/core/__init__.py
src/bpmn_multiformat/core/models/__init__.py
src/bpmn_multiformat/core/models/post.py
src/bpmn_multiformat/core/parsers/__init__.py
src/bpmn_multiformat/core/parsers/base.py
src/bpmn_multiformat/core/parsers/dispatcher.py
src/bpmn_multiformat/core/parsers/bpmn_parser/__init__.py
src/bpmn_multiformat/core/parsers/bpmn_parser/detector.py
src/bpmn_multiformat/core/parsers/bpmn_parser/helper.py
src/bpmn_multiformat/core/parsers/bpmn_parser/parser.py
src/bpmn_multiformat/core/parsers/native_parser/__init__.py
src/bpmn_multiformat/core/parsers/native_parser/detector.py
src/bpmn_multiformat/core/parsers/native_parser/helper.py
src/bpmn_multiformat/core/parsers/native_parser/parser.py
src/bpmn_multiformat/core/parsers/new_bpmn/__init__.py
src/bpmn_multiformat/core/parsers/new_bpmn/parser.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/artifacts.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/connector.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/endEvent.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/extendedAttribute.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/gateway.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/helper.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/intermediateEvent.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/startEvent.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/subprocess.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/swimlanes.py
src/bpmn_multiformat/core/parsers/new_bpmn/element/task.py
src/bpmn_multiformat/core/parsers/new_vdx/__init__.py
src/bpmn_multiformat/core/parsers/new_vdx/parser.py
src/bpmn_multiformat/core/parsers/new_vdx/element/artifacts.py
src/bpmn_multiformat/core/parsers/new_vdx/element/connector.py
src/bpmn_multiformat/core/parsers/new_vdx/element/endEvent.py
src/bpmn_multiformat/core/parsers/new_vdx/element/extendedAttribute.py
src/bpmn_multiformat/core/parsers/new_vdx/element/gateway.py
src/bpmn_multiformat/core/parsers/new_vdx/element/helper.py
src/bpmn_multiformat/core/parsers/new_vdx/element/intermediateEvent.py
src/bpmn_multiformat/core/parsers/new_vdx/element/startEvent.py
src/bpmn_multiformat/core/parsers/new_vdx/element/subprocess.py
src/bpmn_multiformat/core/parsers/new_vdx/element/swimlanes.py
src/bpmn_multiformat/core/parsers/new_vdx/element/task.py
src/bpmn_multiformat/core/parsers/new_xpdl/__init__.py
src/bpmn_multiformat/core/parsers/new_xpdl/parser.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/artifacts.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/connector.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/endEvent.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/extendedAttribute.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/gateway.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/helper.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/intermediateEvent.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/startEvent.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/subprocess.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/swimlanes.py
src/bpmn_multiformat/core/parsers/new_xpdl/element/task.py
src/bpmn_multiformat/core/parsers/vdx_parser/__init__.py
src/bpmn_multiformat/core/parsers/vdx_parser/detector.py
src/bpmn_multiformat/core/parsers/vdx_parser/helper.py
src/bpmn_multiformat/core/parsers/vdx_parser/parser.py
src/bpmn_multiformat/core/parsers/xml_parser/__init__.py
src/bpmn_multiformat/core/parsers/xml_parser/detector.py
src/bpmn_multiformat/core/parsers/xml_parser/helper.py
src/bpmn_multiformat/core/parsers/xml_parser/parser.py
src/bpmn_multiformat/core/parsers/xpdl_parser/__init__.py
src/bpmn_multiformat/core/parsers/xpdl_parser/detector.py
src/bpmn_multiformat/core/parsers/xpdl_parser/helper.py
src/bpmn_multiformat/core/parsers/xpdl_parser/parser.py
src/bpmn_multiformat/core/standardizer/__init__.py
src/bpmn_multiformat/core/standardizer/adapter_native.py
src/bpmn_multiformat/core/standardizer/constants.py
src/bpmn_multiformat/core/standardizer/engine.py
src/bpmn_multiformat/core/standardizer/id_resolver.py
src/bpmn_multiformat/core/standardizer/mapper.py
src/bpmn_multiformat/core/standardizer/standard_schema.json
src/bpmn_multiformat/core/standardizer/validator.py
src/bpmn_multiformat/utils/__init__.py
src/bpmn_multiformat/utils/logger.py
src/bpmn_multiformat/utils/exceptions/__init__.py
src/bpmn_multiformat/utils/exceptions/base.py
src/bpmn_multiformat/utils/exceptions/business_exceptions.py
src/bpmn_multiformat/utils/exceptions/db_exceptions.py
src/bpmn_multiformat/utils/exceptions/http_exceptions.py
src/bpmn_multiformat/utils/exceptions/response.py
src/bpmn_petrinet/__init__.py
src/bpmn_petrinet/core/__init__.py
src/bpmn_petrinet/core/exporters/__init__.py
src/bpmn_petrinet/core/exporters/pnml_builder.py
src/bpmn_petrinet/core/exporters/pnml_constants.py
src/bpmn_petrinet/core/exporters/pnml_exporter.py
src/bpmn_petrinet/core/exporters/pnml_exporter_no_graphics.py
src/bpmn_petrinet/core/models/__init__.py
src/bpmn_petrinet/core/models/transformation_rules.py
src/bpmn_petrinet/core/models/json_model/__init__.py
src/bpmn_petrinet/core/models/json_model/diagram.py
src/bpmn_petrinet/core/models/json_model/elements.py
src/bpmn_petrinet/core/models/json_model/enums.py
src/bpmn_petrinet/core/models/petri_net_model/__init__.py
src/bpmn_petrinet/core/models/petri_net_model/elements.py
src/bpmn_petrinet/core/models/petri_net_model/marking.py
src/bpmn_petrinet/core/models/petri_net_model/net.py
src/bpmn_petrinet/core/parsers/__init__.py
src/bpmn_petrinet/core/parsers/json_parser/__init__.py
src/bpmn_petrinet/core/parsers/json_parser/parser.py
src/bpmn_petrinet/core/transformers/__init__.py
src/bpmn_petrinet/core/transformers/base_transformer.py
src/bpmn_petrinet/core/transformers/transformation_engine.py
src/bpmn_petrinet/core/transformers/helpers/__init__.py
src/bpmn_petrinet/core/transformers/helpers/gateway_helper.py
src/bpmn_petrinet/core/transformers/helpers/hierarchy_helper.py
src/bpmn_petrinet/core/transformers/helpers/layout_helper.py
src/bpmn_petrinet/core/transformers/helpers/naming_helper.py
src/bpmn_petrinet/core/transformers/json_rules/__init__.py
src/bpmn_petrinet/core/transformers/json_rules/rule_01_start_event.py
src/bpmn_petrinet/core/transformers/json_rules/rule_02_end_event.py
src/bpmn_petrinet/core/transformers/json_rules/rule_03_task.py
src/bpmn_petrinet/core/transformers/json_rules/rule_04_intermediate_event.py
src/bpmn_petrinet/core/transformers/json_rules/rule_05_subprocess.py
src/bpmn_petrinet/core/transformers/json_rules/rule_06_parallel_fork.py
src/bpmn_petrinet/core/transformers/json_rules/rule_07_parallel_join.py
src/bpmn_petrinet/core/transformers/json_rules/rule_08_exclusive_decision.py
src/bpmn_petrinet/core/transformers/json_rules/rule_09_exclusive_merge.py
src/bpmn_petrinet/core/transformers/json_rules/rule_10_inclusive_split.py
src/bpmn_petrinet/core/transformers/json_rules/rule_11_inclusive_join.py
src/bpmn_petrinet/utils/__init__.py
src/bpmn_petrinet/utils/logger.py
src/bpmn_petrinet/utils/exceptions/__init__.py
src/bpmn_petrinet/utils/exceptions/base.py
src/bpmn_petrinet/utils/exceptions/business_exceptions.py
src/bpmn_petrinet/utils/exceptions/db_exceptions.py
src/bpmn_petrinet/utils/exceptions/http_exceptions.py
src/bpmn_petrinet/utils/exceptions/response.py
tests/test_pipeline.py