LICENSE
README.md
setup.py
procon/__init__.py
procon/conformance.py
procon.egg-info/PKG-INFO
procon.egg-info/SOURCES.txt
procon.egg-info/dependency_links.txt
procon.egg-info/requires.txt
procon.egg-info/top_level.txt
procon/algorithm/__init__.py
procon/algorithm/a_star.py
procon/algorithm/alignments.py
procon/algorithm/conformance.py
procon/conversion/__init__.py
procon/conversion/converter.py
procon/conversion/reduction.py
procon/objects/__init__.py
procon/objects/bpmn/__init__.py
procon/objects/bpmn/exporter.py
procon/objects/bpmn/importer.py
procon/objects/bpmn/obj.py
procon/objects/bpmn/utils.py
procon/objects/petri_net/__init__.py
procon/objects/petri_net/align_utils.py
procon/objects/petri_net/obj.py
procon/objects/petri_net/properties.py
procon/objects/petri_net/semantics.py
procon/objects/petri_net/synchronous_product.py
procon/objects/petri_net/utils.py