Input: and critical resource, | Output: Serialized bounds, sequence of place markings. | , is a last-in-first-out list | For | βfor | While | βFor each Type-I structure in | ββ | End For | | For a Type-II structure in | βSort by decreasing and let be the sorted set | βInsert into | βFor | βSet to | ββmax | ββEnd For | βEnd For | β | End While | Return |
|