├── .gitignore ├── LICENSE ├── README.md ├── pyalpha ├── __init__.py ├── alpha.py ├── main.py ├── petri_net.py └── reader.py ├── setup.py └── tests ├── alpha_test.py ├── petri_net_test.py ├── reader_test.py ├── test0.txt ├── test1.txt ├── test2.txt ├── test3.txt ├── test4.txt └── test5.txt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/README.md -------------------------------------------------------------------------------- /pyalpha/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /pyalpha/alpha.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/pyalpha/alpha.py -------------------------------------------------------------------------------- /pyalpha/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/pyalpha/main.py -------------------------------------------------------------------------------- /pyalpha/petri_net.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/pyalpha/petri_net.py -------------------------------------------------------------------------------- /pyalpha/reader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/pyalpha/reader.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/setup.py -------------------------------------------------------------------------------- /tests/alpha_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/alpha_test.py -------------------------------------------------------------------------------- /tests/petri_net_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/petri_net_test.py -------------------------------------------------------------------------------- /tests/reader_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/reader_test.py -------------------------------------------------------------------------------- /tests/test0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/test0.txt -------------------------------------------------------------------------------- /tests/test1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/test1.txt -------------------------------------------------------------------------------- /tests/test2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/test2.txt -------------------------------------------------------------------------------- /tests/test3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/test3.txt -------------------------------------------------------------------------------- /tests/test4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/test4.txt -------------------------------------------------------------------------------- /tests/test5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhoudaxia233/pyalpha/HEAD/tests/test5.txt --------------------------------------------------------------------------------