Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

7 lines (6 sloc) 0.28 kB
PROBLEM:
- Need to keep the name of a relationship as an internal detail of the petri net
- Need to be able to refer to a transition in terms of the start state and the transition token
KNOWN:
- can't index the indicence list using the transition symbol, since the
=============
Jump to Line
Something went wrong with that request. Please try again.