Abstract
Systems of sequential systems with shared resources (S4PR) represent a class of Petri nets that have powerful modeling capability for resource allocation systems. Their efficient siphon computation is important. An open issue is how to determine whether a resource subset can generate a strict minimal siphon (SMS). This paper presents the answer. In particular, we propose a new concept called characteristic implicit resource-transition nets. By charactering such nets, we successfully establish a necessary and sufficient condition for a resource subset to generate an SMS.
Original language | English (US) |
---|---|
Article number | 7870672 |
Pages (from-to) | 4173-4179 |
Number of pages | 7 |
Journal | IEEE Transactions on Automatic Control |
Volume | 62 |
Issue number | 8 |
DOIs | |
State | Published - Aug 2017 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Computer Science Applications
- Electrical and Electronic Engineering
Keywords
- Petri nets
- resource allocation systems
- strict minimal siphons (SMS)
- systems of sequential systems with shared resources (SPR) nets