Pages that link to "Item:Q816699"
From MaRDI portal
The following pages link to Control of safe ordinary Petri nets using unfolding (Q816699):
Displayed 6 items.
- Control of safe ordinary Petri nets using unfolding (Q816699) (← links)
- Reduction of constraints for controller synthesis based on safe Petri nets (Q958258) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
- (Q6191021) (← links)