This is an archived project. Repository and other project resources are read-only.

GitLab is undergoing maintenance

You are on a read-only GitLab instance.

inhibition arrow is covered by state transition in GPML