Pages that link to "Item:Q2115918"
From MaRDI portal
The following pages link to Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918):
Displaying 4 items.
- (Q4397731) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713515) (← links)
- Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs (Q6093430) (← links)
- Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077) (← links)