128 followers
@johncarlosbaez @statebox There are however some relations between ’partitions’ of the global states -by building ´regions’- when you synthesize an underlying Petri Net from a so called ´transition system’ that is basically a binary relation between global