A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis
This paper derives an iterative deadlock prevention policy for systems of simple sequential processes with resources (S<sup>3</sup>PRs) based on structural analysis, which consists of two stages. The first stage is called siphons control. Strict minimal siphons (SMSs) in an S<sup>3...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8693745/ |