Research Article

Healthcare Operation Improvement Based on Simulation of Cooperative Resource Preservation Nets for None-Consumable Resources

Table 1

Mathematical notations.

NotationDescription

Set of places in the Petri net
Set of transitions in the Petri net
Transition with index in the Petri net
Place with index in the Petri net
Input place in Petri net
Output place in Petri net
Topology of the Petri net. The arcs between places and transitions
, Two different indices for time
Marking, distribution of tokens in places
Marking of the input
Marking of the output
Marking at a time
Marking at initial time
Marking of place
Set of transitions input to place
Set of transitions output from place
Set of places input to transition
Set of places output from transition
Set of transitions proceeding the input place . This set is always empty
Set of transitions following the output place . This set is always empty
Any token in a place
Token index in a place
Set of pools
Set of nodes reachable from transition
Set of nodes reachable from place
Set of capabilities provided by resources and transitions
Set of request for service
Set of resources in the Petri net
Mapping function that maps resources to pools of resources
Any , where