GitHub - bivab/pytri: Model Checker for Petri Nets using RPython

This repository has been archived by the owner on Jan 4, 2024. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 72 Commits
nets		nets
test		test
.gitignore		.gitignore
continuation.py		continuation.py
expression.py		expression.py
parse.py		parse.py
petri_net.py		petri_net.py
propositions.py		propositions.py
state.py		state.py
targetstandalone.py		targetstandalone.py
transition.py		transition.py