The Theory of regions is an approach for synthesizing a Petri net from a transition system.
As such, it aims at recovering concurrent, independent behavior from transitions between global states.
An important point is that the approach is aimed at the synthesis of unlabeled Petri nets only.
(natural number for P/T nets, binary for ENS) and to each transition label a number
[1] Each region represents a potential place of a Petri net.
This computer science article is a stub.