Huang et al. (2001) proposed a deadlock prevention policy for a class of Petri nets, S3 PR. A liveness-enforcing Petri net supervisor can be obtained by adding monitors to the plant net model. The ...
No takes yet. Share an insight, caveat, or question.
Li et al. (2004) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: