Pages that link to "Item:Q5282378"
From MaRDI portal
The following pages link to Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations (Q5282378):
Displaying 5 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)