The following pages link to (Q5203704):
Displaying 7 items.
- Extensible structural analysis of Petri net product lines (Q2032833) (← links)
- Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets (Q2117173) (← links)
- Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation (Q2362821) (← links)
- (Q3732970) (← links)
- Modellbildung und Analyse diskret gesteuerter Systeme mit Petri-Netzen / Modelling and analysis of discrete controlled systems using Petri nets (Q3823474) (← links)
- Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen (Q3995075) (← links)
- Understanding Petri Nets (Q4911790) (← links)