Research Article
Healthcare Operation Improvement Based on Simulation of Cooperative Resource Preservation Nets for None-Consumable Resources
| Notation | Description |
| | 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 |
|
|