Pages that link to "Item:Q885347"
From MaRDI portal
The following pages link to Dynamic analysis of Petri net-based discrete systems (Q885347):
Displaying 6 items.
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis (Q2813985) (← links)
- Modellbildung und Analyse diskret gesteuerter Systeme mit Petri-Netzen / Modelling and analysis of discrete controlled systems using Petri nets (Q3823474) (← links)
- Lösung linearer diophantischer Gleichungssysteme zur Analyse von Petri-Netzen (Q3833884) (← links)
- (Q4483882) (← links)
- Analysis of Petri nets with a dynamic priority method (Q6487377) (← links)