this weekend spent time in making bindings work for petri nets. basics are done but still a lot to go. but so far i happy with result.
the bindings are really interesting topic because now it looks like prolog will be a good fit there. I've never thought about how prolog is implemented inside. it will be nice to know.
but nah, i will not try to put prolog into petri net editor, that's too much for now.
the problem comes when bindings are dependent on each other and it's like relational database.