Pages that link to "Item:Q5265607"
From MaRDI portal
The following pages link to On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S<sup>3</sup>PR of flexible manufacturing systems (Q5265607):
Displayed 4 items.
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems (Q2279727) (← links)
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480) (← links)
- Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems (Q2822261) (← links)
- Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903) (← links)