| http://www.w3.org/ns/prov#value | - At this point, the algorithm will give the priority to transition , whose firing will result in removing tokens from the permission and queuing places and adding a token to the place , which indicates that the event of vehicles crossing the intersection from west to north is taking place simultaneously with the occurrence of the event that vehicles are crossing the intersection from east to south.
|
