Journals
Publish with us
Publishing partnerships
About us
Blog
Journal of Control Science and Engineering
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Journal of Control Science and Engineering
/
2012
/
Article
/
Alg 3
/
Research Article
Process Completing Sequences for Resource Allocation Systems with Synchronization
Algorithm 3
Input:
(
π
ξ
π
,
π
0
)
Output:
π
π
β
π
such that
π
0
[
π
π
β©
π
0
Set
π
π
=
π‘
πΉ
, and fire
π‘
πΉ
Set
π
π
=
π
0
[
π‘
πΉ
β©
Loop
βFind
π‘
β
πΈ
π‘
(
π
π
)
s
t
π
π
[
π‘
β©
π
π
,
π
β
π
contains no deadly marked
ββsiphon
ββ
π
π
=
π
π
π‘
ββIf
π
π
=
π
0
, return reverse
(
π
j
)
ββElse
π
π
=
π
π
End Loop