documentation for the macro "process_transition"
defines a type transition from the type specified by argument 1 to the type specified by argument 3 which happens when a file with type specified by argument 2 is executed. The necessary permissions are also added. For more information, see this article.
It is defined in the file sets.m4.
define(`process_transition', `define(`transitionsX$1X$2Xprocess',$3)dnl add_permission($1X$3Xprocess,transition)dnl add_permission($3X$2Xfile,entrypoint)dnl add_permission($1X$2Xfile,execute)')